Definition 0.1
A morphism is an epimorphism if for any two morphisms , implies .
As of this snapshot date, this entry was owned by bci1.