18A32 - Category theory; homological algebra :: General theory of categories and functors :: Factorization of morphisms, substructures, quotient structures, congruences, amalgams