可表函子 可表函子是在数学中范畴论里的概念指从任意范畴到集合范畴的一种特殊函子这种函子将抽象的范畴表达成人们熟知的结构即集合与函数从而使得对集合范畴的了解可以尽可能应用到其它环境中 从另外一个角度看范畴的可表函子是随范畴而生的因此可表函子理论可以视作偏序集合理论中的上闭集合以及群论中的凱萊定理的极大的推广