Fibrational approach to Grandis exactness for 2-categories
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909833515499520 |
|---|---|
| author | Caviglia, Elena Janelidze, Zurab Mesiti, Luca |
| author_facet | Caviglia, Elena Janelidze, Zurab Mesiti, Luca |
| contents | In an abelian category, the (bi)fibration of subobjects is isomorphic to the (bi)fibration of quotients. This property captures substantial information about the exactness structure of a category. Indeed, as it was shown by the second author and T.~Weighill, categories equipped with a proper factorization system such that the opfibration of subobjects relative to the factorization system is isomorphic to the fibration of relative quotients are precisely the Grandis exact categories. In this paper we characterize those (1,1)-proper factorization systems on a 2-category in the sense of M.~Dupont and E.~Vitale, for which the weak 2-opfibration of relative 2-subobjects is biequivalent to the weak 2-fibration of relative 2-quotients. This results in a new notion of 2-dimensional exactness, which we then compare with similar notions in the context of categories enriched in pointed groupoids arising in the work of M.~Dupont and H.~Nakaoka. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_01011 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Fibrational approach to Grandis exactness for 2-categories Caviglia, Elena Janelidze, Zurab Mesiti, Luca Category Theory 18E10, 18E08, 18N10, 18D30 In an abelian category, the (bi)fibration of subobjects is isomorphic to the (bi)fibration of quotients. This property captures substantial information about the exactness structure of a category. Indeed, as it was shown by the second author and T.~Weighill, categories equipped with a proper factorization system such that the opfibration of subobjects relative to the factorization system is isomorphic to the fibration of relative quotients are precisely the Grandis exact categories. In this paper we characterize those (1,1)-proper factorization systems on a 2-category in the sense of M.~Dupont and E.~Vitale, for which the weak 2-opfibration of relative 2-subobjects is biequivalent to the weak 2-fibration of relative 2-quotients. This results in a new notion of 2-dimensional exactness, which we then compare with similar notions in the context of categories enriched in pointed groupoids arising in the work of M.~Dupont and H.~Nakaoka. |
| title | Fibrational approach to Grandis exactness for 2-categories |
| topic | Category Theory 18E10, 18E08, 18N10, 18D30 |
| url | https://arxiv.org/abs/2504.01011 |