{"id":"arxiv/2607.18328","url":"https://arxiv.org/abs/2607.18328","tags":["math.RT","math.AC","math.KT"],"score":0,"title":"Heaps of modules: homological aspects","domain":"math.RT","source":"arxiv","authors":["Yongduo Wang","Chenyu Wang","Jian He","Dejun Wu"],"reviews":0,"subject":"math.RT","summary":"The definitions of projective objects and Gorenstein projective objects in the category of heaps of $T$-modules are posed, where $T$ is a truss. It is shown that a heap of $T$-modules $P$ is projective if and only if $\\mathcal{G}_{e_p}(P)$ is a projective $R(T)$-module for all $e_p\\in P$ and a heap of $T$-modules $M$ is BP Gorenstein projective if and only if $\\mathcal{G}_{e_m}(M)$ is a Gorenstein projective $R(T)$-module for all $e_m\\in M$. Moreover, we give a functorial description of the BP Gorenstein projective dimension. Finally, it is also proven that a unital truss $T$ is a Gorenstein…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-19","reactions":{}}