6533b855fe1ef96bd12b0345

RESEARCH PRODUCT

A NOTE ON THE CATEGORICAL NOTIONS OF NORMAL SUBOBJECT AND OF EQUIVALENCE CLASS

D BournG Metere

subject

Settore MAT/02 - AlgebraMal'tsev and protomodular categoriesunitalnormal subobjectequivalence classconnected pair of equivalence relations

description

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.

yearjournalcountryeditionlanguage
2021-01-01
http://hdl.handle.net/10447/518802