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.
2024
40
10
301
323
http://www.tac.mta.ca/tac/volumes/40/10/40-10abs.html
categorical Galois theory; reflective subfibration; characteristic subobject; peri-abelian category
Alan S. Cigoli; Sandra Mantovani
File in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/2024950
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact