Normal monomorphisms in the sense of Bourn describe the equivalence classes of an internal equivalence relation. Although the definition is given in the fairly general setting of a category with finite limits, later investigations on this subject often focus on protomodular settings, where normality becomes a property. This paper clarifies the connections between internal equivalence relations and Bourn-normal monomorphisms in regular Mal'tesv categories with pushouts of split monomorphisms along arbitrary morphisms, whereas a full description is achieved for quasi-pointed regular Mal'tsev categories with pushouts of split monomorphisms along arbitrary morphisms.
Keywords: normal monomorphism, Mal'tsev category, fibred category
2010 MSC: 18D30, 18C05, 08A30
Theory and Applications of Categories, Vol. 32, 2017, No. 5, pp 122-147.
Published 2017-01-27.
TAC Home