essentially surjective (infinity,1)-functor
An -functor is essentially surjective if, when modeled as a functor of simplicially enriched categories, the induced functor
of ordinary categories is essentially surjective
An (∞,1)-functor which is both essentially surjective as well as full and faithful (∞,1)-functor is precisely an equivalence of (∞,1)-categories.
Revised on May 11, 2012 11:59:47
by Urs Schreiber