Barr-Exactness and Congruence-Based Homological Algebra in Ternary $Γ$-Semimodules
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.20407
curl -X POST /api/v1/records/arxiv/2608.20407/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.20407/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'