monomorphism

Definition 0.1

A morphism $ f:A\to B$ is a monomorphism, if for any two morphisms $ g,h:C\to A$ the equality $ f\circ g=f\circ h$ implies $ h=g$ .



Contributors to this entry (in most recent order):

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