Example 21.8.6 (Geometric realization). The inclusion \(\An \hookrightarrow \Cat _{\infty }\) has a left adjoint \[ \geom {-}\colon \Cat _{\infty } \to \An \] given by the geometric realization functor. It also admits a right adjoint \[ (-)^{\simeq }\colon \Cat _{\infty } \to \An \] given by the groupoid core functor.

Generated from the authoritative LaTeX source.