Example 21.8.7 (Homotopy category). The inclusion \(\Cat \hookrightarrow \Cat _{\infty }\) has a left adjoint \[ \Ho (-)\colon \Cat _{\infty } \to \Cat _1 \] given by the homotopy category functor.
Generated from the authoritative LaTeX source.
Stable homotopy theory and higher algebra · Example 21.8.7
Example 21.8.7 (Homotopy category). The inclusion \(\Cat \hookrightarrow \Cat _{\infty }\) has a left adjoint \[ \Ho (-)\colon \Cat _{\infty } \to \Cat _1 \] given by the homotopy category functor.
Generated from the authoritative LaTeX source.