Definition. Monomorphisms and epimorphisms [monos-and-epis]

Given :

• is a monomorphism (or monic) when for any ,

• is an epimorphism (or epic) when for any ,