Fibrational approach to Grandis exactness for 2-categories

Basic Information

• Paper ID: 2504.01011
• Title: Fibrational approach to Grandis exactness for 2-categories
• Authors: Elena Caviglia, Zurab Janelidze, Luca Mesiti
• Classification: math.CT (Category Theory)
• Publication Date: October 10, 2025 (arXiv v3)
• Paper Link: https://arxiv.org/abs/2504.01011v3

Abstract

In abelian categories, the (bi)fibration of subobjects is isomorphic to the (bi)fibration of quotient objects. This property captures essential information about the exact structure of a category. As proven by the second author with T. Weighill, categories equipped with appropriate factorization systems whose subobject opfibration relative to that system is isomorphic to the quotient object fibration are precisely Grandis exact categories. This paper characterizes those (1,1)-appropriate factorization systems on 2-categories (in the sense of M. Dupont and E. Vitale) such that the weak 2-opfibration of relative 2-subobjects is biequivalent to the weak 2-fibration of relative 2-quotient objects. This leads to a new concept of 2-dimensional exactness and is compared with analogous concepts developed by M. Dupont and H. Nakaoka in the context of groupoid-enriched categories.

Research Background and Motivation

Core Problem

This paper aims to generalize the classical theory of Grandis exactness from 1-categories to 2-categories, establishing a theory of 2-dimensional exactness through fibrational methods.

Problem Significance

1. 2-dimensional homological algebra: Homological algebra in 2-dimensional categories is an emerging and important research area, particularly significant for studying homological properties of symmetric categorical groups.
2. Applications of fibration theory: Fibration theory provides profound geometric intuition for understanding exact structures of categories; generalizing this to the 2-dimensional case has important theoretical value.
3. Unifying existing theories: Existing concepts of 2-dimensional exactness (such as work by Dupont and Nakaoka) lack a unified theoretical framework; this paper provides such a unified perspective.

Limitations of Existing Approaches

1. Work by Dupont and Nakaoka is primarily restricted to groupoid-enriched categories
2. Lack of a unified theoretical framework based on fibrations
3. Insufficient exploitation of the higher-dimensional structure of 2-categories

Research Motivation

To establish a theory of 2-dimensional Grandis exactness through fibrational methods, providing a solid theoretical foundation for 2-dimensional homological algebra and unifying various existing concepts of 2-dimensional exactness.

Core Contributions

1. Introduction of 2-ideals: Proposes rigorous definitions of 2-ideals in 2-categories (ideals of null morphisms and null 2-cells), providing complete characterizations via the profunctor approach.
2. Establishment of 2-dimensional kernel and cokernel theory: Defines 2-kernels and 2-cokernels relative to 2-ideals and proves their fundamental properties.
3. Proof of main equivalence theorem: Proves that a 2-category is Grandis 2-exact if and only if there exists a (1,1)-appropriate factorization system such that the weak 2-fibration of quotient objects and the weak 2-opfibration of subobjects are biequivalent on the 2-category.
4. Introduction of weak exactness concepts: Proposes concepts of weak Grandis 2-exactness and weak Puppe 2-exactness, proving that these concepts generalize existing theories by Dupont and Nakaoka.
5. Establishing connections with existing theories: Proves that this theory includes all 1-dimensional abelian categories as special cases and establishes explicit connections with existing 2-dimensional exactness theories.

Methodology Details

Task Definition

The core task of this paper is to establish exactness theory for 2-categories, specifically including:

• Input: A 2-category L
• Output: Determining whether L is Grandis 2-exact or Puppe 2-exact
• Constraints: Requires appropriate factorization systems and 2-ideal structures

Core Theoretical Framework

Definition of 2-ideals

Definition 2.2: A 2-ideal N in a 2-category L is a pair (N,ν), where:

• N: L^op × L → Cat is a normal pseudofunctor (2-dimensional profunctor)
• ν is an injective and faithful pseudonatural transformation:

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

Theorem 2.4 provides an equivalent characterization of 2-ideals: through classes of null morphisms and null 2-cells, satisfying appropriate closure conditions.

2-kernels and 2-cokernels

Definition 2.10: The N-2-kernel of a morphism f: A → B is a morphism k: K → A, equipped with an isomorphic 2-cell α: f∘k ≅ n (n a null morphism), satisfying:

1. 1-dimensional universal property: For any z: Z → A such that f∘z is isomorphic to a null morphism, there exists a unique u: Z → K and isomorphic 2-cell γ: z ≅ k∘u
2. 2-dimensional universal property: For morphisms u,v: Z → K and 2-cell λ: k∘u ⇒ k∘v, if the corresponding 2-cell is null, then there exists a unique μ: u ⇒ v such that k⋆μ = λ

Main Equivalence Theorem

Theorem 3.4: For a 2-category L, the following conditions are equivalent:

(i) Fibration condition: There exists a (1,1)-appropriate factorization system (E,M) and a biequivalence

E ⇄ M
 ↘ ↙
  L

such that the weak 2-fibration of quotient objects is biequivalent to the weak 2-opfibration of subobjects.

(ii) Algebraic condition: L has a 2-ideal N satisfying:

• L has all N-2-kernels and N-2-cokernels
• N is a closed 2-ideal
• Each N-2-kernel is the N-2-kernel of its N-2-cokernel (and vice versa)
• Each morphism factors as an N-2-cokernel followed by an N-2-kernel

Technical Innovations

1. Profunctor method: Using the profunctor approach to define 2-ideals is more natural and powerful than direct generalization of 1-dimensional definitions.
2. Weak fibration concept: Introduces the concept of weak 2-fibration, requiring only local isofibration rather than complete fibration, which is more appropriate in the 2-dimensional case.
3. Relative orthogonality: In the weak exactness case, introduces the concept of relatively orthogonal factorization systems, an important generalization of classical orthogonal factorization systems.
4. Biequivalence rather than isomorphism: Uses biequivalence rather than strict isomorphism in the 2-dimensional case, reflecting the essential characteristics of 2-categories.

Experimental Setup

This is purely theoretical work, primarily verifying theoretical correctness through mathematical proofs. The main "experiments" include:

Theoretical Verification

1. Consistency checks: Verifying that new definitions are consistent with known 1-dimensional theory
2. Example construction: Constructing concrete examples of Grandis 2-exact and Puppe 2-exact 2-categories
3. Comparison with existing theories: Verifying that this theory indeed generalizes existing 2-dimensional exactness concepts

Concrete Examples

1. Abelian categories: Proving that all abelian categories (as locally discrete 2-categories) are Puppe 2-exact
2. 2-categories of symmetric categorical groups: Verifying these are examples of Puppe 2-exactness
3. 2-categories of 2-dimensional vector spaces: Also examples in the Baez-Crans sense

Experimental Results

Main Results

Theoretical Completeness

Proposition 2.13: N-2-kernels and N-2-cokernels are uniquely determined up to equivalence.

Proposition 2.15: In 2-pointed 2-categories, 2-kernels are given by biisoinserters.

Relationship with Existing Theories

Theorem 4.19: For locally SCG categories L, the following are equivalent:

• L is a relatively exact Gpd*-category (Nakaoka sense)
• L is weakly Puppe 2-exact, and each faithful morphism is a 2-kernel

Theorem 4.21: Every 2-Puppe-exact Gpd*-category (Dupont sense) is weakly Puppe 2-exact.

Factorization Theorem

Corollary 3.7: In a Grandis 2-exact 2-category, each morphism f factors as:

A → Q → B

where the first morphism is the N-2-cokernel of the N-2-kernel of f, and the second is the N-2-kernel of the N-2-cokernel of f.

Important Findings

1. Three-step factorization: In the general case, morphisms have three-step factorization (Proposition 3.8), but this simplifies to two steps in the Grandis 2-exact case.
2. 2-dimensional generalization of the first isomorphism theorem: Corollary 3.7 can be viewed as a 2-categorical generalization of the first isomorphism theorem in algebra.
3. Hierarchical structure of theories: Establishes clear hierarchical relationships between various 2-dimensional exactness concepts.

Related Work

Main Research Directions

1. Dupont's work: Developing 2-dimensional abelian category theory in groupoid-enriched categories
2. Nakaoka's work: 2-dimensional cohomology theory and relative exactness
3. Grandis exactness: Fibrational methods in the 1-dimensional case (Janelidze-Weighill)

Relationship of This Paper to Related Work

This paper provides a unified framework integrating the above various approaches into a fibration-based 2-dimensional theory. In particular:

• Generalizes the 1-dimensional results of Janelidze-Weighill
• Includes theories of Dupont and Nakaoka as special cases
• Provides broader applicability

Advantages Compared to Related Work

1. Broader applicability: Not restricted to specific types of 2-categories
2. Unified theoretical framework: Unified approach based on fibrations
3. Natural connection with 1-dimensional theory: Clear generalization pathway

Conclusions and Discussion

Main Conclusions

1. Successfully establishes theory of 2-dimensional Grandis exactness and Puppe exactness
2. Proves the effectiveness of fibrational methods in the 2-dimensional case
3. Unifies various existing concepts of 2-dimensional exactness
4. Provides solid theoretical foundation for 2-dimensional homological algebra

Limitations

1. Technical complexity: Technical details in the 2-dimensional case are quite complex, potentially limiting the theory's accessibility
2. Concrete examples: While the theory is complete, construction of concrete non-trivial examples requires further research
3. Computational aspects: The theory is primarily existential; actual computation of 2-kernels and 2-cokernels may be difficult

Future Directions

1. Collaboration with Ülo Reimaa: Proving that 2-categories of abelian categories are examples of this theory
2. Serre functor theory: Developing Serre functor theory between Puppe exact categories
3. More concrete examples: Finding and constructing more interesting Grandis 2-exact 2-categories

In-Depth Evaluation

Strengths

Theoretical Innovation

1. Conceptual innovation: The profunctor definition of 2-ideals is original and more natural than direct generalization
2. Methodological contribution: Successfully generalizes the fibrational method to 2-dimensions, opening new research directions
3. Unified framework: First to provide a unified theoretical framework for 2-dimensional exactness

Technical Rigor

1. Complete proofs: All major results have detailed and rigorous proofs
2. Precise definitions: Various concepts are carefully defined, avoiding technical pitfalls
3. Clear structure: Well-organized paper with clear logical flow

Academic Value

1. Theoretical depth: Deeply reveals the essence of exact structures in 2-categories
2. Connectivity: Establishes connections with multiple research areas
3. Inspirational: Provides rich directions for further research

Weaknesses

Technical Aspects

1. Complexity: The technical complexity of the theory may hinder its broad application
2. Computational difficulty: Algorithms for actually computing 2-kernels and 2-cokernels are not sufficiently explicit
3. Insufficient examples: Relatively few non-trivial concrete examples

Application Aspects

1. High abstraction level: The theory is highly abstract; connections with concrete applications need further establishment
2. Practical utility: Direct applicability in actual mathematical research remains to be verified

Impact

Contribution to the Field

1. Pioneering: Opens new directions in 2-dimensional exactness theory
2. Unifying: Provides unified framework for dispersed research
3. Generalizing: Lays foundation for research in higher dimensions

Practical Value

1. Theoretical tools: Provides important tools for 2-dimensional homological algebra
2. Research foundation: Provides solid foundation for subsequent research
3. Cross-disciplinary applications: Potentially applicable in algebraic topology, algebraic geometry, etc.

Reproducibility

As pure mathematical theoretical work, all results are in principle verifiable and reproducible, with proofs publicly transparent.

Applicable Scenarios

1. 2-dimensional homological algebra research: Direct application to studying homological properties of 2-dimensional categories
2. Higher-order category theory: Provides reference for higher-dimensional category theory
3. Algebraic topology: May be useful when studying structures like 2-groups, 2-rings, etc.
4. Theoretical computer science: Potentially applicable in type theory, program semantics, etc.

References

The paper cites 38 important references, primarily including:

1. I. Baković - Foundational work on fibrations in 2-categories
2. M. Dupont - Pioneering work on 2-dimensional abelian categories
3. H. Nakaoka - 2-dimensional cohomology theory and relative exactness
4. Z. Janelidze & T. Weighill - Fibrational methods for 1-dimensional Grandis exactness
5. R. Street - Foundational work on 2-category theory

These references form the important foundation for the theoretical development of this paper, reflecting the authors' deep understanding and comprehensive grasp of related fields.

Overall Assessment: This is a high-quality pure mathematics theoretical paper making important contributions at the intersection of 2-dimensional category theory and homological algebra. While technically complex, the theoretical value is significant, laying important foundations for the development of 2-dimensional homological algebra. The paper's unifying perspective and successful generalization of fibrational methods have important methodological significance.