epimorphism in an (infinity,1)-category
The analog in (∞,1)-category theory of epimorphism in category theory.
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.
Created on October 18, 2010 23:04:59
by Urs Schreiber