Homotopy cartesian squares in extriangulated categories

From MaRDI portal



Abstract: Let (mathcalC,mathbbE,mathfraks) be an extriangulated category. Given a composition of two commutative squares in mathcalC, if two commutative squares are homotopy cartesian, then their composition is also a homotopy cartesian. This covers the result by Mac Lane (1998) for abelian categories and the result by Christensen and Frankland (2022) for triangulated categories.


The notion of homotopy cartesian square first appeared in the study by \textit{B. J. Parshall} and \textit{L. L. Scott} [in: Algebra, Proc. Workshop, Ottawa/Can. and Moosonee/Can. 1987, Math. Lect. Note Ser., Expo. Math., CRAF, Carleton Univ. 3, 105 p. (1988; Zbl 0711.18002)]. In this paper under review, the authors study homotopy cartesian squares in extriangulated categories. \par Let \((\mathcal{C},\mathbb{E},\mathfrak{s})\) be an extriangulated category. Given a composition of two commutative squares in \(\mathcal{C}\), the authors showed that if two commutative squares are homotopy cartesian, then their composition is also a homotopy cartesian square. This covers the result by \textit{S. Mac Lane} [Categories for the working mathematician. Cham: Springer (1971; Zbl 0232.18001)] for abelian categories and by \textit{J. D. Christensen} and \textit{M. Frankland} [J. Pure Appl. Algebra 226, No. 3, Article ID 106846, 33 p. (2022; Zbl 1475.18018)] for triangulated categories.











This page was built for publication: Homotopy cartesian squares in extriangulated categories

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