epimorphism

Definition 0.1

A morphism $e: A \to B$ is an epimorphism if for any two morphisms $f,g: B \to C$, $f\circ e=g\circ e$ implies $f=g$.



Contributors to this entry (in most recent order):

As of this snapshot date, this entry was owned by bci1.