::::定义.设 formula_1 为局部小范畴，并记集合范畴为 formula_2 。对 formula_1 中的每个对象 formula_4 以 formula_5 指代将对象 formula_6 映到集合 formula_7 的Hom函子。函子formula_8 是可表的当存在某个 formula_1 中的对象 formula_4 使得 formula_11 自然同构于 formula_5。而满足为自然同构的对 formula_14 则称为 formula_11 的一个表示。从 for