Corollary 15.2.21. The equivalence \(\OpCocart \colon \Cat _{\infty } \iso \Op _{\infty }^{\cocart }\) from Corollary 15.2.17 restricts to an equivalence \[ \Cat _{\infty }^{\mathrm {coprod}} \iso \Cat _{\infty }^{\otimes ,\cocart }. \]
Proof. We need to check that the equivalence from Corollary 15.2.17 restricts to objects and morphisms. On objects this is the content of Proposition 15.2.8. On morphisms this is the content of Lemma 15.2.19. □
Generated from the authoritative LaTeX source.