Higher-dimensional generalization of abelian categories via DG-categories

In this paper, we introduce abelian $n$-truncated DG-categories as an $n$-dimensional analogue of abelian categories in the setting of DG-categories. When $n=1$, this recovers ordinary abelian categories, and when $n=\infty$, it corresponds to stable DG-categories. This notion serves as a DG-categorical analogue of abelian $(n,1)$-categories in the context of $(n,1)$-categories. We show that the homotopy categories of abelian $n$-truncated DG-categories acquire the structure of extriangulated and pretriangulated categories. Furthermore, we develop a general theory of abelian $n$-truncated DG-categories, including the analogues of the existence epi-mono factorizations of morphisms, as in classical abelian categories.