可表函子

可表函子是在数学中范畴论里的概念，指从任意范畴到集合范畴的一种特殊函子。这种函子将抽象的范畴表达成人们熟知的结构（即集合与函数），从而使得对集合范畴的了解可以尽可能应用到其它环境中。

从另外一个角度看，范畴的可表函子是随范畴而生的。因此，可表函子理论可以视作偏序集合理论中的上闭集合以及群论中的凱萊定理的极大的推广。

定义

设  为局部小范畴，并记集合范畴为  。对  中的每个对象  以  指代将对象  映到集合  的Hom函子。

函子  是可表的当存在某个  中的对象  使得  自然同构于 。而满足

为自然同构的对  则称为  的一个表示。

从  到  的反变函子  不过是（协变）函子 ，常被称作预层。与协变的情况相似，预层是可表的当它自然同构与某个反变的Hom函子 ，其中  是  中的某个对象。

泛元素

根据米田引理，从  到  的自然变换与集合  一一对应。给定自然变换 ，与之对应的元素  由

给出。反之，给定元素 ，可以如下定义自然变换 

其中  是  中的任意元素。为了得到  的表示，我们需要确定  诱导的自然变换何时会是同构。这引导出如下定义：
函子  的泛元素是由  中的对象  与  中的元素  组成的一对 ，使得对于任意满足'  的对 ，都存在唯一映射  使得  。
泛元素还可看作从单点集合  到函子  的泛态射，又或者看作  的元素范畴中的始对象。

这样，由元素  诱导的自然变换是自然同构当且仅当  是  的泛元素。由此可以得出  的表示与  的泛元素之间的一一对应。为此，泛元素  常常也被称为表示。

范例

 考虑反变函子 ，将集合映到其冪集、将函数映到其原像映射。要表示这个函子，我们需要一对 ，其中  是集合而  是  的子集（即  中的元素），使得对于任意集合 ，态射集合  通过函数  与  双射。取  及 ，那么给定任意子集 ，对应的函数  正是  的示性函数。
映到  的遺忘函子常常是可表的。特别地，每当  是由单个生成元  组成的单元素集合上的自由對象，遗忘函子都由  所表示，如：
 群范畴上的遗忘函子  由  所表示。
 环范畴上的遗忘函子  由整系数单变元多项式环  所表示。
 -向量空间范畴上的遗忘函子  由  所表示。
 拓撲空間範疇上的遗忘函子  由单元素拓扑空间和其唯一元素所表示。
群  （甚至广群）可以视作只有单个对象（记作 ）的范畴。从这个范畴  到  的每个函子都对应于一个 -集合；其中从  到  唯一的Hom函子  对应于底集合为 、作用为  中左乘法的典范 -集合。借助群论中的标准论证可知从  到  函子可表当且仅当其对应的 -集合为正则的（即自由且可递；这类 -集合也称为 -旋子或堆），而为这个函子选择一个表示即相当于为这个堆选择一个恒等元。
设  为对象是CW复形、态射为连续映射的同伦类的范畴。对于每个自然数  存在一个反变函子 ，将每个CW复形映到其   阶（整系数）上同调群。与阿贝尔群范畴上的遗忘函子复合后即得到一个从  到  的反变函子。代数拓扑中的布朗可表性定理声明这个函子可由一个CW复形  所表示；这个CW复形被称为艾伦伯格-麦克兰恩空间。
性质

唯一性

函子的表示在同构的意义下唯一。换言之，如果  与  表示同一个函子，那么存在唯一的同构  使得

作为从  到  自然同构相等。这一事实可由米田引理简单得出。

用泛元素的语言表述如下：如果  与  表示同一个函子，那么存在唯一的同构  使得 

保极限性

可表函子自然同构于Hom函子，因而享有许多后者的性质。尤其值得注意的是，（协变）可表函子保持所有极限。由此可得，未能保持某些极限的函子都不是可表的。

相似地，反变可表函子把餘极限映到极限。

左伴随

如果函子  带有左伴随 ，那么它就可由  表示；这里  是某个单元素集合，而  是伴随的单位。

反之，如果  由对  表示，且  的任意上幂对于集合  和  中的对象 ， 的  次上幂是指上积  。在  中都存在，那么  拥有左伴随 ，后者将任意集合  映到  的  次上幂。

所以，如果  是带所有上幂的范畴，则函子  是可表的当且仅当它拥有左伴随。

与泛态射及伴随的关联

泛态射和伴随函子这两个范畴论概念都可以用可表函子表达。

设  为函子， 为  中的对象。那么  是从 到  的泛态射当且仅当  是函子  的表示。由此可知  带有左伴随（记为 ）当且仅当函子  对于任意  中的对象  都可表。此外，伴随正由自然同构  给出，即：

对于所有 和  都是（自然的）双射。

与之对偶的陈述也成立：设  为函子， 为  中的对象。那么那么  是从 到  的泛态射当且仅当  是函子  的表示。由此可知  带有右（记为 ）伴随当且仅当函子  对于任意  中的对象  都可表。

 注释 

 参考文献 

Category:函子
Category:范畴论