Morphism

The composition of morphisms is often represented by a commutative diagram. For example,

A morphism that is both an epimorphism and a monomorphism is called a bimorphism.