Higher category theory
higher category theory
Extra properties and structure
A morphism in a category is an effective monomorphism if
it has a cokernel pair, i.e. if the pushout exists;
it is the equalizer of the canonical pair of morphisms .
Such may probably also be called an embedding.
The dual concept is that of effective epimorphism. See there for more discussion.
Revised on July 22, 2010 11:26:24
by Urs Schreiber