The composition of a zero morphism with any morphism (that it is composable with) yields another zero morphism.
monomorphism inverse diagonal morphism cokernel universal morphism discrete category epimorphism comorphism twist morphism generalized element
Save “zero morphism” to learn later