On Hom-Analogues of Heaps and Trusses

Abstract

This paper introduces Hom-heaps, Hom-trusses, and Hom-braces as Hom-type analogues of their classical counterparts. We establish the correspondence between Hom-heaps and Hom-groups by showing that the retract of a Hom-heap at a point forms a Hom-group precisely when the point is fixed by the twisting map, and prove that translation maps induce isomorphisms between Hom-group retracts at different fixed base points. We introduce three equivalent notions of Hom-trusses and investigate their structural properties. We also propose three variants of Hom-braces and establish their correspondence with Hom-trusses, showing that certain Hom-trusses naturally give rise to Hom-braces and conversely. These results provide a unified framework extending heap and truss theory to the Hom-algebraic setting, with potential applications to the Yang--Baxter equation and non-associative geometry.