{"id":"arxiv/2604.22186","url":"https://arxiv.org/abs/2604.22186","tags":["math.CT"],"score":0,"title":"Homotopic morphisms and diagram theorems in extriangulated categories","domain":"math.CT","source":"arxiv","authors":["Chencheng Zhang","Xue-Song Lu","Pu Zhang"],"reviews":0,"subject":"math.CT","summary":"Homotopic morphisms of $\\mathbb E$-triangles in extriangulated categories are introduced. Any morphism of $\\mathbb E$-triangles is a composition of homotopic morphisms. Any morphism $(α_1, α_2, α_3)$ of $\\mathbb E$-triangles can be modified to be homotopic, by changing one of $α_i$; moreover, all the 15 cases where $α_i$ is an $\\mathbb E$-inflation ($\\mathbb E$-deflation) are analyzed. Some diagram theorems, especially $4\\times 4$ Lemma and its $14$ variants, including $3\\times 3$ diagram and Horseshoe Lemma, are investigated. A relation between homotopic morphisms and (middling) good…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-24","reactions":{}}