定義（表示）:
令 G {\displaystyle G} 為一個群，令 C {\displaystyle {\mathcal {C}}} 為一個範疇。一個 G {\displaystyle G} 在一個物件 A ∈ Obj ( C ) {\displaystyle A\in \operatorname {Obj} ({\mathcal {C}})} 上的表示是一個群同態 π : G → Aut ( C ) {\displaystyle \pi :G\to \operatorname {Aut} ({\mathcal {C}})} .
