Axiom I (Joyal). A functor \(F\colon C \to D\) is an equivalence if and only if it is fully faithful and essentially surjective.
Generated from the authoritative LaTeX source.
Stable homotopy theory and higher algebra · Axiom I
Axiom I (Joyal). A functor \(F\colon C \to D\) is an equivalence if and only if it is fully faithful and essentially surjective.
Generated from the authoritative LaTeX source.