epimorphism in an (infinity,1)-category
One analog in (∞,1)-category theory of epimorphism in category theory. Beware that there are other variants such as effective epimorphism in an (infinity,1)-category and generally the concept of n-epimorphism.
For an (∞,1)-category, a morphism in is an epimorphism if for all the induced morphism
is a monomorphism in an (∞,1)-category in ∞Grpd.
Revised on February 25, 2015 15:29:44
by Urs Schreiber