Corollary 19.7.4. Under the hypotheses of Proposition 19.7.3, the maximal subgroupoid \(C^{\simeq }\) is canonically an object of \(\CRig (\An )\).
Proof. Apply the lax symmetric monoidal maximal-subgroupoid functor of Proposition 16.4.6 to the commutative algebra supplied by Proposition 19.7.3. □
Generated from the authoritative LaTeX source.