GENERALIZED CONGRUENCES — EPIMORPHISMS IN Cat

The paper generalizes the notion of a congruence on a category and pursues some of its applications. In particular, generalized congruences are used to provide a concrete construction of coequalizers in Cat. Extremal, regular and various other classes of epimorphic functors are characterized and inter-related.

[1]  Horst Herrlich,et al.  Abstract and concrete categories , 1990 .

[2]  M. Barr,et al.  Toposes, Triples and Theories , 1984 .

[3]  Michael Barr,et al.  Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.