la_110 都可以视作是只有一个元素的范畴；范畴里的态射即 formula_110 中的元素。给定任意范畴 formula_270，formula_110 在 formula_270 上的表示即从 formula_110 到 formula_270 的函子。这种函子从范畴 formula_270 选择一个对象 formula_250，并选择一个从 formula_110 到 formula_250 的自同构群 formula_279 的群同构。若 formula_280 为 formula_143-向