可表函子

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