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.
Bourn, D., Metere, G. (2021). A NOTE ON THE CATEGORICAL NOTIONS OF NORMAL SUBOBJECT AND OF EQUIVALENCE CLASS. THEORY AND APPLICATIONS OF CATEGORIES, 36(3), 65-101.
A NOTE ON THE CATEGORICAL NOTIONS OF NORMAL SUBOBJECT AND OF EQUIVALENCE CLASS
Metere, G
2021-01-01
Abstract
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.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
36-03.pdf
accesso aperto
Descrizione: Articolo principale
Tipologia:
Versione Editoriale
Dimensione
468.44 kB
Formato
Adobe PDF
|
468.44 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
