Example 7.51.
The \(0\)-affine Gestalten are precisely the commutative monoids:
\[\CMon(\An)\catop = \CAlg(\An)\catop \hookrightarrow \Gest.\]
Since \(\Pr_{\st} \subseteq \Pr\) is fully faithful, we similarly get a fully faithful functor
\[\CAlg(\Sp)\catop \hookrightarrow \Gest.\]