群、李群或群概形），我们通常要求formula_11满足相应的条件（如连续性、可微性或者要求它是概形间的态射）；在有限群及紧致群以外的情况，通常也须考虑无穷维表示。一个群formula_1的所有有限维表示构成一个张量范畴，记为formula_13；其态射定义如下：formula_14它等价于有限维formula_15-模所构成的范畴。不难验证表示间的同构确由矩阵的相似变换给出。一个表示被称作不可约的，若且唯若它没有在formula_1的作用下不变的非平凡子空间。若一个表示能表成不可约表示的直和，