Heaps of modules: homological aspects

Abstract

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 truss if and only if $R(T)$ is an Iwanaga-Gorenstein ring.