We say that a functor F:A→BF : A \to B is split essentially surjective if for all b:Bb:B there exists an a:Aa:A such that Fa≅bF a \cong b.
Category theory
equivalence of precategories
HoTT book
Last revised on October 11, 2018 at 06:32:37. See the history of this page for a list of all contributions to it.