Background
Basic concepts
equivalences in/of -categories
Universal constructions
Local presentation
Theorems
Extra stuff, structure, properties
Models
An -functor is essentially surjective if the induced functor of the core infinity-groupoids
is an effective epimorphism.
An -functor is essentially surjective if the induced functor of the homotopy categories of the -categories
An (∞,1)-functor which is both essentially surjective as well as full and faithful (∞,1)-functor is precisely an equivalence of (∞,1)-categories.
basic properties of…
Last revised on September 2, 2022 at 23:18:17. See the history of this page for a list of all contributions to it.