Monomorphisms, Epimorphisms, and Pull-Backs

Abstract

As the applications of category theory increase, we find ourselves wanting to imitate in general categories much that was at first done only in abelian categories. In particular it becomes necessary to deal with epimorphisms and monomorphisms, with various canonical factorizations of arbitrary morphisms, and with the relations of these things to such limit operations as equalizers and pull-backs.