Construction 7.49.
For every \(n\), there is a fully faithful functor
\[\CAlg(n\Pr)\catop \hookrightarrow \Gest.\]
Indeed, an object \(A_n\in\CAlg(n\Pr)\) admits a canonical delooping \(A_{n+1}:=\Mod_{A_n}(n\Pr)\). Iterating this construction supplies the higher terms of a Stefanich ring, while the lower terms are obtained by taking endomorphisms of the unit.