作用系
\left\lang \textrm{Act} \colon Ω, X ; S \right\rang
where
Ω \colon \mathbf{Alg_1}
X\colon \mathbf{Alg}_2
S \colon Ω → \mathrm{Aut}_\mathbf{Alg_2}(X) \: \mathrm{or} \: \mathrm{End}_\mathbf{Alg_2}(X)
あるいは
S\colon \mathbf{B}Ω → \mathbf{Alg}_2
where
\mathbf{B}Ω: 反ループ化