Transport of structure in higher homological algebra

(n+2)-angulated category \(n\)-abelian category \(n\)-exact category \(n\)-exangulated category \(n\)-exangulated functor extriangulated functor higher homological algebra skeleton transport of structure

Mathematics Subject Classification ID

Preadditive, additive categories (18E05) Abelian categories, Grothendieck categories (18E10) Derived categories, triangulated categories (18G80)

Abstract: We fill a gap in the literature regarding `transport of structure' for (n+2)-angulated, n-exact, n-abelian and n-exangulated categories appearing in (classical and higher) homological algebra. As an application of our main results, we show that a skeleton of one of these kinds of categories inherits the same structure in a canonical way, up to equivalence. In particular, it follows that a skeleton of a weak (n+2)-angulated category is in fact what we call a strong (n+2)-angulated category. When n=1 this clarifies a technical concern with the definition of a cluster category. We also introduce the notion of an n-exangulated functor between n-exangulated categories. This recovers the definition of an (n+2)-angulated functor when the categories concerned are (n+2)-angulated, and the higher analogue of an exact functor when the categories concerned are n-exact.

Review text

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.

Recommendations

Cites work

Cited in

(28)

This page was built for publication: Transport of structure in higher homological algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1998968)