表示函子

扩展释义

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