---
title: 'Cotruss: Superalgebraic Dual Structures'
url: https://www.emergentmind.com/topics/cotruss
type: topic
---

# Cotruss: Superalgebraic Dual Structures

Cotruss is the coordinate-superalgebra structure introduced in the study of affine supertrusses: it is the representing object of a truss-valued functor on superalgebras, in the same role that a Hopf superalgebra plays for an affine supergroup. In the formal setting of "Affine Supertrusses and Superbraces" [2604.22381], the operative notion is the **supercotruss**, namely a superalgebra \(X\) endowed with a binary comultiplication \(\Delta^{(2)}:X\to X\otimes X\) and a ternary comultiplication \(\Delta^{(3)}:X\to X\otimes X\otimes X\) satisfying coassociativity, abelian quantum-heap identities, and codistributivity. The concept is introduced to represent affine supertrusses functorially, and it underlies the subsequent passage to affine superbraces and, indirectly, to the proposed Yang--Baxter constructions on affine superschemes [2604.22381].

## 1. Representable-functor origin

The paper defines an affine supertruss as a representable functor
\[
T:{SAlg}_{\mathbb K}\to {Truss},
\]
where \({SAlg}_{\mathbb K}\) is the category of unital associative supercommutative superalgebras over \(\mathbb K\), and \({Truss}\) is the category of trusses. If \(T\) is represented by a superalgebra \(X\), then
\[
T(-)\cong h^X(-):=\operatorname{Hom}_{SAlg_{\mathbb K}}(X,-).
\]
The cotruss structure is extracted from the requirement that \(h^X(-)\) take values in trusses rather than in sets [2604.22381].

The motivation is explicitly tied to the supergeometric method. A direct \(\mathbb Z_2\)-graded version of a bare truss is not adopted, because a truss replaces addition by an abelian heap operation, so there is no additive group structure from which an even/odd decomposition analogous to \(R=R_{\mathbf 0}\oplus R_{\mathbf 1}\) could be read off. The paper therefore defines the super-object functorially: a supertruss is not a graded set with extra operations, but a representable truss-valued functor on superalgebras [2604.22381].

Yoneda then forces the representing superalgebra to carry dual operations. A natural binary operation on \(T(A)\) corresponds to a map \(X\to X\otimes X\), while a natural ternary operation corresponds to a map \(X\to X\otimes X\otimes X\). These are exactly the binary and ternary comultiplications
\[
\Delta^{(2)}:X\to X\otimes X,
\qquad
\Delta^{(3)}:X\to X\otimes X\otimes X.
\]
For \(s,t,t_1,t_2,t_3\in T(A)=\operatorname{Hom}(X,A)\), the induced operations are
\[
st := m^{(2)}_A\circ (s\otimes t)\circ \Delta^{(2)},
\]
\[
[t_1,t_2,t_3] := m^{(3)}_A\circ (t_1\otimes t_2\otimes t_3)\circ \Delta^{(3)}.
\]
Thus \(\Delta^{(2)}\) represents truss multiplication, and \(\Delta^{(3)}\) represents the heap operation.

## 2. Formal definition and axioms

The paper’s formal definition is concise: a **supercotruss** is a triple \((X,\Delta^{(2)},\Delta^{(3)})\) satisfying the conditions extracted in §2, namely the quantum-heap axioms for \(\Delta^{(3)}\), coassociativity for \(\Delta^{(2)}\), and left/right codistributivity between them [2604.22381].

The ternary part requires \((X,\Delta^{(3)})\) to be an **abelian quantum heap**. The axioms are
\[
(1\otimes 1\otimes \Delta^{(3)})\circ \Delta^{(3)}
=
(\Delta^{(3)}\otimes 1\otimes 1)\circ \Delta^{(3)},
\]
\[
(1\otimes m_X)\circ \Delta^{(3)} = 1\otimes 1_X,
\]
\[
(m_X\otimes 1)\circ \Delta^{(3)} = 1_X\otimes 1,
\]
\[
\Delta^{(3)}=\sigma_{13}\circ \Delta^{(3)}.
\]
Here \(m_X\) is multiplication in \(X\), and \(\sigma_{13}\) flips the first and third tensor factors. The last identity is the abelian condition, dualizing commutativity of the heap operation.

The binary part requires \((X,\Delta^{(2)})\) to be a non-counital coassociative coalgebra:
\[
(\Delta^{(2)}\otimes 1)\circ \Delta^{(2)}
=
(1\otimes \Delta^{(2)})\circ \Delta^{(2)}.
\]

The compatibility between the two comultiplications is expressed by left and right codistributivity:
\[
(1\otimes \Delta^{(3)})\circ \Delta^{(2)}
=
m_X^{135}\circ
(\Delta^{(2)}\otimes \Delta^{(2)}\otimes \Delta^{(2)})\circ \Delta^{(3)},
\]
\[
(\Delta^{(3)}\otimes 1)\circ \Delta^{(2)}
=
m_X^{246}\circ
(\Delta^{(2)}\otimes \Delta^{(2)}\otimes \Delta^{(2)})\circ \Delta^{(3)}.
\]
On a homogeneous tensor
\[
x=x_1\otimes x_2\otimes \cdots \otimes x_6,
\]
the maps \(m_X^{135}\) and \(m_X^{246}\) are
\[
m_X^{135}(x)=(-1)^{\varepsilon}(x_1x_3x_5)\otimes x_2\otimes x_4\otimes x_6,
\]
\[
m_X^{246}(x)=(-1)^{\varepsilon}x_1\otimes x_3\otimes x_5\otimes (x_2x_4x_6),
\]
with
\[
\varepsilon=
\widetilde{x_2}\widetilde{x_3}
+\widetilde{x_5}\widetilde{x_4}
+\widetilde{x_5}\widetilde{x_2}.
\]

Taken together, these conditions make the cotruss the explicit dualization of the defining truss data: the heap operation becomes a ternary comultiplication, multiplication becomes a binary comultiplication, and distributivity becomes codistributivity.

## 3. Superalgebraic setting and morphisms

The grading enters through the ambient category and the tensor calculus. A test object \(A\) is a unital associative supercommutative superalgebra
\[
A=A_{\mathbf 0}\oplus A_{\mathbf 1},
\qquad
A_iA_j\subseteq A_{i+j},
\]
with
\[
ab=(-1)^{\widetilde a\,\widetilde b}ba
\]
for homogeneous \(a,b\in A\). All tensor products are \(\mathbb Z_2\)-graded tensor products, and both \(\Delta^{(2)}\) and \(\Delta^{(3)}\) are required to be superalgebra homomorphisms [2604.22381].

The sign in the codistributivity maps is the only fully explicit sign formula in the cotruss axioms. It is the Koszul sign needed to bring the factors \(x_1,x_3,x_5\), or \(x_2,x_4,x_6\), together in the graded tensor product. The paper also notes that supercommutativity of the test algebra \(A\) is essential in the proof that the codistributivity equations yield distributivity for the induced truss operations on \(T(A)\).

A morphism of supercotrusses \(\varphi:X\to X'\) is a superalgebra morphism satisfying
\[
\Delta^{'(2)}\circ \varphi = (\varphi\otimes \varphi)\circ \Delta^{(2)},
\]
\[
\Delta^{'(3)}\circ \varphi = (\varphi\otimes \varphi\otimes \varphi)\circ \Delta^{(3)}.
\]
If counits or cozeros are present, one also requires preservation of them. This gives the category of supercotrusses that appears in the representation theorem.

## 4. Duality with trusses and categorical role

The paper presents cotrusses as a dual notion to trusses through representability and Yoneda, rather than through an abstract duality doctrine. An ordinary truss carries an abelian heap operation
\[
[-,-,-]:T\times T\times T\to T
\]
and an associative multiplication
\[
T\times T\to T
\]
satisfying distributivity. In a cotruss, these become
\[
\Delta^{(3)}:X\to X^{\otimes 3},
\qquad
\Delta^{(2)}:X\to X^{\otimes 2},
\]
together with the codistributivity identities. Heap associativity and identity become the quantum-heap axioms; abelianness becomes \(\Delta^{(3)}=\sigma_{13}\Delta^{(3)}\); semigroup associativity becomes coassociativity of \(\Delta^{(2)}\) [2604.22381].

> “The philosophy is that a cotruss is to a truss what a Hopf algebra is to a group.”

This slogan is conceptual rather than theorematic, but it captures the intended role exactly. The principal structural result is the equivalence between affine supertrusses and their representing cotruss-bearing superalgebras: every affine supertruss has a representing triple \((X,\Delta^{(2)},\Delta^{(3)})\) satisfying the cotruss axioms, and there is an equivalence between the opposite category of affine supertrusses and the category of supercotrusses [2604.22381].

The paper also defines extra structure dual to unit and zero. A **counit** is a superalgebra morphism
\[
\varepsilon_{\mathrm{unit}}:X\to \mathbb K
\]
satisfying
\[
(\varepsilon_{\mathrm{unit}}\otimes 1)\circ \Delta^{(2)} = 1
=
(1\otimes \varepsilon_{\mathrm{unit}})\circ \Delta^{(2)}.
\]
A **cozero** is a superalgebra morphism
\[
\varepsilon_{\mathrm{zero}}:X\to \mathbb K
\]
satisfying the dual absorber identities. If these exist, they induce on each \(T(A)\) a multiplicative unit and a zero element, respectively.

## 5. Examples and standard sources of cotrusses

The paper gives three explicit examples. The minimal one is \(X=\mathbb K\), with the only possible structure maps
\[
\Delta^{(2)}(1)=1\otimes 1,
\qquad
\Delta^{(3)}(1)=1\otimes 1\otimes 1.
\]
Then for any \(A\), \(T(A)\cong \operatorname{Hom}_{SAlg_{\mathbb K}}(\mathbb K,A)\) is a singleton, and the induced truss is trivial [2604.22381].

A more informative example uses
\[
X=\mathbb K[x,\theta],
\qquad
\widetilde x=0,
\quad
\widetilde\theta=1,
\quad
\theta^2=0.
\]
The cotruss maps are
\[
\Delta^{(2)}(x)=x\otimes x+\theta\otimes \theta,
\qquad
\Delta^{(2)}(\theta)=x\otimes \theta+\theta\otimes x,
\]
\[
\Delta^{(3)}(x)=x\otimes 1\otimes 1-1\otimes x\otimes 1+1\otimes 1\otimes x,
\]
\[
\Delta^{(3)}(\theta)=\theta\otimes 1\otimes 1-1\otimes \theta\otimes 1+1\otimes 1\otimes \theta.
\]
For \(s\in T(A)\), write
\[
s=(\mathsf x,\vartheta),
\qquad
\mathsf x=s(x),
\quad
\vartheta=s(\theta).
\]
Then the induced multiplication and heap law are
\[
st=(\mathsf x_1\mathsf x_2+\vartheta_1\vartheta_2,\;
\mathsf x_1\vartheta_2+\vartheta_1\mathsf x_2),
\]
\[
[s,t,u]=
(\mathsf x_1-\mathsf x_2+\mathsf x_3,\;
\vartheta_1-\vartheta_2+\vartheta_3).
\]
This is the clearest explicit cotruss in the note: the binary coproduct encodes a super-analogue of multiplication on pairs, while the ternary coproduct is affine and heap-like on both even and odd coordinates. The same example also carries a counit and a cozero, yielding distinguished points \(e=(1_A,0_A)\) and \(z=(0_A,0_A)\).

A third source is canonical rather than ad hoc. If \((X,\Delta,S)\) is the Hopf superalgebra of an affine abelian supergroup, then
\[
\Delta^{(2)}:=\Delta,
\qquad
\Delta^{(3)}:=(1\otimes S\otimes 1)\circ \Delta_2
\]
defines a cotruss structure. The paper gives the explicit supergroup example
\[
X=\mathbb K[x,x^{-1},\theta]
\]
with \(\widetilde x=\widetilde{x^{-1}}=0\), \(\widetilde\theta=1\), and \(\theta^2=0\). This shows that cotrusses arise canonically from Hopf superalgebras as well as from abstract representability.

## 6. Passage to affine superbraces and Yang--Baxter theory

The cotruss is not an auxiliary device: it is the mechanism by which the paper constructs affine superbraces. If the supercotruss \(X\) has a counit \(\varepsilon_{\mathrm{unit}}\), then each represented truss \(T(A)\) has a distinguished multiplicative unit
\[
e=!_A\circ \varepsilon_{\mathrm{unit}}.
\]
Using Brzeziński’s pointwise construction, the paper defines on \(T(A)\) the abelian group law
\[
t+_e u := [t,e,u],
\qquad
-_e t := [e,t,e].
\]
With this choice, each \(T(A)\) becomes a two-sided semi-brace, and the construction is natural in \(A\); hence one obtains an affine superbrace
\[
Br:{SAlg}_{\mathbb K}\to {Bra}
\]
from the cotruss-represented affine supertruss [2604.22381].

The role of cotrusses in the Yang--Baxter discussion is indirect but foundational. The paper defines a Yang--Baxter map as a natural transformation
\[
r_-:T(-)\times T(-)\longrightarrow T(-)\times T(-)
\]
whose components
\[
r_A(s,t)=(\lambda_s(t),\rho_t(s))
\]
satisfy the set-theoretic Yang--Baxter equation. Since \(\lambda\) and \(\rho\) are built from brace operations, and brace operations come from the represented truss structure, the cotruss underlies the entire construction even though the Yang--Baxter equation is not reformulated directly in cotruss language. A plausible implication is that cotrusses function as the coordinate-level infrastructure for extending brace-theoretic Yang--Baxter constructions from sets to affine superschemes.

In the paper’s own conceptual summary, the supercotruss is the actual coordinate-algebra object underlying the theory: it carries the binary coproduct encoding truss multiplication, the ternary coproduct encoding the heap operation, the quantum-heap and coassociativity axioms, and the codistributivity identities dualizing truss distributivity. Within that framework, cotrusses form the structural bridge between trusses, supergeometry, superbraces, and the proposed Yang--Baxter theory [2604.22381].

Source: https://www.emergentmind.com/topics/cotruss