Transport of structure in higher homological algebra (Q1998968)

Let \(n\geq 1\) a positive integer. Higher homological algebra refers to the study of certain categories having a class of sequences of morphisms of length \(n\) satisfying certain axioms. Recently, this theory has led to the introduction of the concepts of \(n\)-abelian, \(n\)-exact, \((n+2)\)-angulated and \(n\)-exangulated categories as the analogue of abelian, exact, triangulated and extriangulated categories (see [\textit{C. Geiss} et al., J. Reine Angew. Math. 675, 101--120 (2013; Zbl 1271.18013); \textit{G. Jasso}, Math. Z. 283, No.3--4, 703--759 (2016; Zbl 1356.18005)] and [\textit{M. Herschend} et al., J. Algebra 570, 531--586 (2021; Zbl 1506.18015)]). The goal of this paper is to discuss that, if \(\mathcal{F}:\mathcal{C}\rightarrow \mathcal{C}'\) is an equivalence of categories and \(\mathcal{C}\) is \(n\)-abelian, \(n\)-exact, \(n\)-angulated or \(n\)-exangulated category, then \(\mathcal{C}'\) is also \(n\)-abelian, \(n\)-exact, \(n\)-angulated or \(n\)-exangulated category, respectively. It is worth noting that, although \((n+2)\)-exangulated categories are a simultaneous generalisation of \(n\)-exact and \((n+2)\)-angulated categories, the result is proved for each of the four different types of categories separately. This makes the results accessible to people interested in any of these structures. To describe the results more precisely, recall that the definitions of \((n+2)\)-angulated category and \(n\)-exangulated category include the existence of an automorphism \(\Sigma:\mathcal{C}\rightarrow \mathcal{C}\). In this article, the authors prove their results for weak \((n+2)\)-angulated (\(n\)-exangulated) categories, which means that the functor \(\Sigma\) of the definition is only asked to be a self-equivalence.