Higher-dimensional generalization of abelian categories via DG Categories (2501.06955v1)

Abstract: In this paper, we introduce abelian $(n,1)$-categories as an $n$-dimensional analog of abelian categories, where for ( n=1 ), it corresponds to ordinary abelian categories, and for ( n=\infty ), it represents stable DG-categories. We demonstrate that their homotopy categories become extriangulated categories and pretriangulated categories, and we establish a general theory of abelian $(n,1)$-categories. For example, the analog of the existance epi-mono factorizations of morphisms in abelian categories.