18A20 - Category theory; homological algebra :: General theory of categories and functors :: Epimorphisms, monomorphisms, special classes of morphisms, null morphisms