定义（表示）:
令 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}})} .
