Epimorphisms, monomorphisms, special classes of morphisms General category theory mathematics