作用系
summary.icon
$ \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
dragoon8192.iconここを一般化するにはまだ知識が足りない