Generalized congruences — Epimorphisms in Cat

Abstract

ABSTRACT. 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.