Definition 0.1
A morphism is a monomorphism, if for any two morphisms the equality implies .
As of this snapshot date, this entry was owned by bci1.