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
Alan S. Cigoli;
2024-01-01
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
Descrizione: Birkhoff subfibrations of the codomain fibration
Tipo di file:
PDF EDITORIALE
Dimensione
430.8 kB
Formato
Adobe PDF
|
430.8 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.