In a non-pointed category E, a subobject which is normal to an equivalence relation is not necessarily an equivalence class. We elaborate this categorical distinction, with a special attention to the Mal'tsev context. Moreover, we introduce the notion of fibrant equipment, and we use it to establish some conditions ensuring the uniqueness of an equivalence relation to which a given subobject is normal, and to give a description of such a relation.
Keywords: normal subobject, equivalence class, connected pair of equivalence relations, unital, Mal'tsev and protomodular categories
2020 MSC: 18A32, 18C05, 18D30, 18E13, 08A30, 20J99
Theory and Applications of Categories, Vol. 36, 2021, No. 3, pp 65-101.
Published 2021-03-01.
TAC Home