Corollary 4.4.6 (Stable Yoneda lemma). For a stable \(\infty \)-category \(C\), the functor \[ C \,\to \,\Fun (C\catop ,\Sp ), \qquad Y \, \mapsto \, \hom _C(-,Y) \] is fully faithful. □
Generated from the authoritative LaTeX source.
Corollary 4.4.6 (Stable Yoneda lemma). For a stable \(\infty \)-category \(C\), the functor \[ C \,\to \,\Fun (C\catop ,\Sp ), \qquad Y \, \mapsto \, \hom _C(-,Y) \] is fully faithful. □
Generated from the authoritative LaTeX source.