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.
categorical Galois theory; reflective subfibration; characteristic subobject; peri-abelian category;
Settore MAT/02 - Algebra
Settore MAT/04 - Matematiche Complementari
26-apr-2024
http://www.tac.mta.ca/tac/volumes/40/10/40-10abs.html
Article (author)
File in questo prodotto:
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.

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