表示函子

【词语拼音】biǎo shì hán zi

【词语繁体】表示函子

【词语结构】ABCD式词语

【词语字数】四字词语

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