{"id":"arxiv/2608.20407","url":"https://arxiv.org/abs/2608.20407","tags":["math.RA"],"score":0,"title":"Barr-Exactness and Congruence-Based Homological Algebra in Ternary $Γ$-Semimodules","domain":"math.RA","source":"arxiv","authors":["Chandrasekhar Gokavarapu","D Madhusudhana Rao"],"reviews":0,"subject":"math.RA","summary":"Let $T$ be a ternary $Γ$--semiring and let $\\mathsf{SMod}_{T,Γ}$ be the category of ternary $Γ$--semimodules with the intrinsic five--ary action $T\\times Γ\\times M \\times Γ\\times T\\to M$.This paper develops a congruence--first calculus in $\\mathsf{SMod}_{T,Γ}$.Kernels and quotients are taken in the sense of congruences, not in the sense of cosets of subobjects, because coset quotients generally fail without subtraction. We prove that every morphism admits a canonical factorization through its kernel congruence, establish congruence versions of the three isomorphism theorems, and describe…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-08","reactions":{}}