可表函子

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

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

定义

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

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

 

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

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

泛元素

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

 

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

 

其中    中的任意元素。为了得到   的表示,我们需要确定   诱导的自然变换何时会是同构。这引导出如下定义:

函子  泛元素是由   中的对象    中的元素   组成的一对  ,使得对于任意满足'   的对  ,都存在唯一映射   使得  

泛元素还可看作从单点集合   到函子  泛态射,又或者看作  元素范畴中的始对象

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

范例

性质

唯一性

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

 

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

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

 

保极限性

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

相似地,反变可表函子把余极限映到极限。

左伴随

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

反之,如果   由对   表示,且   的任意上幂[1]  中都存在,那么   拥有左伴随  ,后者将任意集合   映到    次上幂。

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

与泛态射及伴随的关联

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

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

 

对于所有   都是(自然的)双射

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

注释

  1. ^ 对于集合    中的对象     次上幂是指上积  

参考文献

  • Mac Lane, Saunders. Categories for the Working Mathematician. Graduate Texts in Mathematics 5 2nd. Springer. 1998. ISBN 0-387-98403-8.