表示函子

表示函子(representative functor)是范畴论里的概念，指从任意范畴到集合范畴的一种特殊函子。这种函子将抽象的范畴表达成人们熟知的结构（即集合与函数），从而使得对集合范畴的了解可以尽可能应用到其它环境中。函子 是可表的当存在某个 中的对象 使得 自然同构于 。而满足设 为局部小范畴，并记集合范畴为 。对 中的每个对象 以 指代将对象 映到集合 的Hom函子。