群やモノイドの作用があるとき、 (G, S, α) が群（やモノイド）の作用構造〈action structure〉 Gは作用群〈acting group〉 Sは被作用集合〈acted set〉 αは作用〈action〉 Sがとある圏C内に居るとして、G→AutC(S) は群GのC表現になる。例えば、Vect表現。G…