Homotopy cartesian squares in extriangulated categories

Jing He,Chenbei Xie,Panyue Zhou
DOI: https://doi.org/10.1515/math-2022-0570
2023-04-04
Open Mathematics
Abstract:Let ( C , E , s ) be an extriangulated category. Given a composition of two commutative squares in C , if two commutative squares are homotopy cartesian, then their composition is also a homotopy cartesian square. This covers the result by Mac Lane [ Categories for the Working Mathematician , Second edition, Graduate Texts in Mathematics, Vol. 5, Springer-Verlag, New York, 1998] for abelian categories and by Christensen and Frankland [ On good morphisms of exact triangles , J. Pure Appl. Algebra 226 (2022), no. 3, 106846] for triangulated categories.
mathematics
What problem does this paper attempt to address?