Two new classes of \(n\)-exangulated categories (Q2215775)

\textit{M. Herschend} et al. [J. Algebra 570, 531--586 (2021; Zbl 1506.18015)] introduced the notion of \(n\)-exangulated categories, which is a higher dimensional analogue of extriangulated categories defined by \textit{H. Nakaoka} and \textit{Y. Palu} [Cah. Topol. Géom. Différ. Catég. 60, No. 2, 117--193 (2019; Zbl 1451.18021)]. By definition, an \(n\)-exangulated category is given by a triplet \((\mathcal{C} , \mathbb{E}, \mathfrak{s})\) satisfying certain axioms, where \(\mathcal{C}\) is an additive category, \(\mathbb{E}: \mathcal{C}^{\text{op}}\times\mathcal{C} \rightarrow Ab\) is a biadditive functor and \(\mathfrak{s}\) assigns to each \(\delta \in \mathbb{E}(C, A)\) a class of \(n\)-term sequences with end terms \(A\) and \(C\). If \(n\)=1, an \(n\)-exangulated category is nothing but an extriangulated category. The class of \(n\)-exangulated categories contains \(n\)-exact categories and \((n+2)\)-angulated categories. However, there are some other examples of \(n\)-exangulated categories which are neither \(n\)-exact nor \((n+2)\)-angulated. The main purpose of this paper under review is to construct more examples of \(n\)-exangulated categories. The authors provide two such constructions. The first one is by taking certain ideal quotients. Let \((\mathcal{C}, \mathbb{E}, \mathfrak{s})\) be an \(n\)-exangulated category, and \(\mathcal{P}\) (resp. \(\mathcal{I}\)) be the full subcategory of projective (resp. injective) objects. If \(\mathcal{X}\) is a full subcategory of \(\mathcal{C}\) such that \(\mathcal{X}\subseteq \mathcal{P}\cap\mathcal{I}\), then the authors give a necessary and sufficient condition for the ideal quotient \(\mathcal{C}/\mathcal{X}\) to be an \(n\)-exangulated category. The second one is by \(n\)-proper classes. The authors define the notion of \(n\)-proper class in \(\mathcal{C}\) and show that if \(\mathcal{C}\) admits an \(n\)-proper class \(\xi\), then \(\mathcal{C}\) admits a new \(n\)-exangulated structure \((\mathbb{E}_\xi, \mathfrak{s}_\xi)\), where \(\mathbb{E}_\xi=\mathbb{E}|_\xi\) and \(\mathfrak{s}_\xi=\mathfrak{s}|_{\mathbb{E}_\xi}\). These two ways give \(n\)-exangulated categories which are neither \(n\)-exact nor \((n+2)\)-angulated in general. The above two constructions are higher dimensional analogue of extriangulated categories. But they are not trivial.