Slice categories of a semi-abelian category C have a regular epireflection to their subcategories of internal Mal'tsev algebras. These are Birkhoff reflections, hence admissible with respect to regular epis in the sense of Janelidze's categorical Galois theory. We prove that when C is moreover peri-abelian, these reflections form an admissible Galois structure for a larger class of morphisms, called proquotients. Starting from a careful investigation of the previous situation, we prove that all regular epireflective subfibrations in Fib(C) of the codomain fibration of C can be constructed from a reflective subcategory M_0 of C whose unit morphisms have characteristic kernel. The fibres of such reflective subfibrations are admissible with respect to proquotients precisely when M_0 is a Birkhoff subcategory of C.
Birkhoff subfibrations of the codomain fibration / A.S. Cigoli, S. Mantovani. - In: THEORY AND APPLICATIONS OF CATEGORIES. - ISSN 1201-561X. - 40:10(2024 Apr 26), pp. 301-323.
Birkhoff subfibrations of the codomain fibration
S. Mantovani
Ultimo
2024
Abstract
Slice categories of a semi-abelian category C have a regular epireflection to their subcategories of internal Mal'tsev algebras. These are Birkhoff reflections, hence admissible with respect to regular epis in the sense of Janelidze's categorical Galois theory. We prove that when C is moreover peri-abelian, these reflections form an admissible Galois structure for a larger class of morphisms, called proquotients. Starting from a careful investigation of the previous situation, we prove that all regular epireflective subfibrations in Fib(C) of the codomain fibration of C can be constructed from a reflective subcategory M_0 of C whose unit morphisms have characteristic kernel. The fibres of such reflective subfibrations are admissible with respect to proquotients precisely when M_0 is a Birkhoff subcategory of C.File | Dimensione | Formato | |
---|---|---|---|
40-10.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
430.8 kB
Formato
Adobe PDF
|
430.8 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.