Definition 1.5.13. A functor \(F\colon C \to D\) is called essentially surjective if for every object \(y\) of \(D\) there exists an object \(x\) of \(C\) together with an isomorphism \(Fx \cong y\).
Generated from the authoritative LaTeX source.
Stable homotopy theory and higher algebra · Definition 1.5.13
Definition 1.5.13. A functor \(F\colon C \to D\) is called essentially surjective if for every object \(y\) of \(D\) there exists an object \(x\) of \(C\) together with an isomorphism \(Fx \cong y\).
Generated from the authoritative LaTeX source.