2025-11-24T13:19:17.548959

Fibrational approach to Grandis exactness for 2-categories

Caviglia, Janelidze, Mesiti

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.

academic

Fibrational approach to Grandis exactness for 2-categories

基本信息

论文ID: 2504.01011
标题: Fibrational approach to Grandis exactness for 2-categories
作者: Elena Caviglia, Zurab Janelidze, Luca Mesiti
分类: math.CT (Category Theory)
发表时间: 2025年10月10日 (arXiv v3)
论文链接: https://arxiv.org/abs/2504.01011v3

摘要

在阿贝尔范畴中，子对象的(双)纤维化与商对象的(双)纤维化是同构的。这一性质捕获了范畴正合结构的重要信息。正如第二作者与T. Weighill所证明的，配备适当分解系统的范畴，其相对于该分解系统的子对象opfibration与相对商对象fibration同构，恰好就是Grandis正合范畴。本文刻画了2-范畴上那些(1,1)-适当分解系统（在M. Dupont和E. Vitale意义下），使得相对2-子对象的弱2-opfibration与相对2-商对象的弱2-fibration双等价。这导出了2维正合性的新概念，并与M. Dupont和H. Nakaoka在点群胚丰富范畴背景下的类似概念进行了比较。

研究背景与动机

核心问题

本文旨在将经典的Grandis正合性理论从1-范畴推广到2-范畴，通过纤维化方法建立2维正合性理论。

问题重要性

同调代数的2维推广：2维范畴中的同调代数是一个新兴且重要的研究领域，特别是在对称范畴群的同调性质研究中具有重要意义。
纤维化理论的应用：纤维化理论为理解范畴的正合结构提供了深刻的几何直观，将其推广到2维情况具有重要的理论价值。
统一现有理论：现有的2维正合性概念（如Dupont和Nakaoka的工作）缺乏统一的理论框架，本文提供了这样的统一视角。

现有方法局限性

Dupont和Nakaoka的工作主要局限于点群胚丰富的范畴
缺乏基于纤维化的统一理论框架
没有充分利用2-范畴的高维结构

研究动机

通过纤维化方法建立2维Grandis正合性理论，为2维同调代数提供坚实的理论基础，并统一现有的各种2维正合性概念。

核心贡献

引入2-理想概念：提出了2-范畴中的2-理想（null morphisms和null 2-cells的理想）的rigorous定义，通过profunctor方法给出了完整的刻画。
建立2维核和余核理论：相对于2-理想定义了2-核（2-kernel）和2-余核（2-cokernel），并证明了它们的基本性质。
证明主要等价定理：证明了2-范畴是Grandis 2-正合的当且仅当存在(1,1)-适当分解系统使得2-商对象的弱2-fibration与2-子对象的弱2-opfibration在该2-范畴上双等价。
引入弱正合性概念：提出了弱Grandis 2-正合和弱Puppe 2-正合的概念，并证明这些概念推广了Dupont和Nakaoka的现有理论。
建立与现有理论的联系：证明了本文理论包含了所有1维阿贝尔范畴作为特例，并与现有的2维正合性理论建立了明确的联系。

方法详解

任务定义

本文的核心任务是建立2-范畴的正合性理论，具体包括：

输入：一个2-范畴L
输出：判断L是否为Grandis 2-正合或Puppe 2-正合
约束条件：需要适当的分解系统和2-理想结构

核心理论框架

2-理想的定义

定义2.2：2-范畴L中的2-理想N是一对(N,ν)，其中：

N: L^op × L → Cat是正规伪函子（2维profunctor）
ν是单射对象且忠实的伪自然变换：

L^op × L → Cat
    N ↘   ↗ Hom(-,-)
        ν

定理2.4提供了2-理想的等价刻画：通过null morphisms类和null 2-cells类，满足适当的封闭性条件。

2-核和2-余核

定义2.10：morphism f: A → B的N-2-核是morphism k: K → A，配备同构2-cell α: f∘k ≅ n（n为null morphism），满足：

1维泛性质：对任何z: Z → A使得f∘z同构于null morphism，存在唯一的u: Z → K和同构2-cell γ: z ≅ k∘u
2维泛性质：对morphisms u,v: Z → K和2-cell λ: k∘u ⇒ k∘v，若相应的2-cell是null的，则存在唯一的μ: u ⇒ v使得k⋆μ = λ