We characterize fibrations and (Formula presented.)-fibrations in the 2-category of internal groupoids in terms of the comparison functor from certain pullbacks to the corresponding strong homotopy pullbacks. As an application, we deduce the internal version of the Brown exact sequence for (Formula presented.)-fibrations from the internal version of the Gabriel–Zisman exact sequence. We also analyse fibrations and (Formula presented.)-fibrations in the category of arrows and study when the normalization functor preserves and reflects them. This analysis allows us to give a characterization of protomodular categories using strong homotopy kernels and a generalization of the Snake Lemma.

On Fibrations Between Internal Groupoids and Their Normalizations / P.-. Jacqmin, S. Mantovani, G. Metere, E.M. Vitale. - In: APPLIED CATEGORICAL STRUCTURES. - ISSN 0927-2852. - 26:5(2018 Oct 01), pp. 1015-1039.

On Fibrations Between Internal Groupoids and Their Normalizations

S. Mantovani;
2018

Abstract

We characterize fibrations and (Formula presented.)-fibrations in the 2-category of internal groupoids in terms of the comparison functor from certain pullbacks to the corresponding strong homotopy pullbacks. As an application, we deduce the internal version of the Brown exact sequence for (Formula presented.)-fibrations from the internal version of the Gabriel–Zisman exact sequence. We also analyse fibrations and (Formula presented.)-fibrations in the category of arrows and study when the normalization functor preserves and reflects them. This analysis allows us to give a characterization of protomodular categories using strong homotopy kernels and a generalization of the Snake Lemma.
fibration; internal groupoid; protomodular category; strong h-pullback; theoretical computer science; computer science
Settore MAT/01 - Logica Matematica
Settore MAT/02 - Algebra
1-ott-2018
Article (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
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/582520
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 3
social impact