English

A relative monotone-light factorisation system for internal groupoids

Category Theory 2018-01-03 v2 Algebraic Topology

Abstract

Given an exact category C\mathcal{C}, it is well known that the connected component reflector π0 ⁣:Gpd(C)C\pi_0\colon\mathsf{Gpd}(\mathcal{C})\to\mathcal{C} from the category Gpd(C)\mathsf{Gpd}(\mathcal{C}) of internal groupoids in C\mathcal{C} to the base category C\mathcal{C} is semi-left-exact. In this article we investigate the existence of a monotone-light factorisation system associated with this reflector. We show that, in general, there is no monotone-light factorisation system (E,M)(\mathcal{E}',\mathcal{M}^*) in Gpd(C)\mathsf{Gpd}(\mathcal{C}), where M\mathcal{M}^* is the class of coverings in the sense of the corresponding Galois theory. However, when restricting to the case where C\mathcal{C} is an exact Mal'tsev category, we show that the so-called comprehensive factorization of regular epimorphisms in Gpd(C)\mathsf{Gpd}(\mathcal{C}) is the relative monotone-light factorisation system (in the sense of Chikhladze) in the category Gpd(C)\mathsf{Gpd}(\mathcal{C}) corresponding to the connected component reflector, where E\mathcal{E}' is the class of final functors and M\mathcal{M}^* the class of regular epimorphic discrete fibrations.

Cite

@article{arxiv.1711.10450,
  title  = {A relative monotone-light factorisation system for internal groupoids},
  author = {Alan S. Cigoli and Tomas Everaert and Marino Gran},
  journal= {arXiv preprint arXiv:1711.10450},
  year   = {2018}
}

Comments

final version accepted for publication

R2 v1 2026-06-22T22:59:47.318Z