可表函子是在數學里是範疇論中的概念,是從任意範疇到集合範疇的一種特殊函子。這種函子將抽象的範疇表達成人們熟知的結構(即集合與函數),從而使得對集合範疇的了解可以儘可能應用到其它環境中。
從另外一個角度看,範疇的可表函子是隨範疇而生的。因此,可表函子理論可以視作偏序集合理論中的上閉集合以及群論中的凱萊定理的極大的推廣。
定義
設
為局部小範疇,另記集合範疇為
。對
中的每個對象
以
指代將對象
映到集合
的Hom函子。
函子
是可表的當存在某個
中的對象
使得
自然同構於
,而滿足
![{\displaystyle \Phi :\operatorname {Hom} (A,-)\to F}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ded52841326993250096ad24eac90ae742fdd23b)
為自然同構的對
則稱為
的一個表示。
從
到
的反變函子
與(協變)函子
相同,也常常被稱作預層。與協變的情況相似,預層是可表的當它自然同構與某個反變的Hom函子
,其中
是
中的某個對象。
泛元素
根據米田引理,從
到
的自然變換與集合
一一對應。給定自然變換
,與之對應的元素
由
![{\displaystyle u=\Phi _{A}(\mathrm {id} _{A}).\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ead207959347df949688f763e8ab8cf9aa705cb)
給出。反之,給定元素
,可以如下定義自然變換
![{\displaystyle \Phi _{X}(f)=(Ff)(u),\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/934da42c5c60e6f614647cfe3cec81f16ec99e1a)
其中
。為了得到
的表示,我們需要知道
誘導的自然變換何時會是同構。這引導出如下定義:
- 函子
的泛元素是由
中的對象
與
中的元素
組成的一對
,使得對於任意滿足'
的對
存在唯一映射
使得
。
泛元素還可看作從單點集合
到函子
的泛態射,又或者是
的元素範疇中的始對象。
這樣,由元素
誘導的自然變換是同構若且唯若
是
的泛元素,由此可以得出
的表示與
的泛元素之間的一一對應。為此,泛元素
常常也被稱為表示。
範例
- 考慮反變函子
,將集合映到冪集、將函數映到原像。要表示這個函子,我們需要一對
,其中
是集合而
是
的子集,即
中的元素,使得對於任意集合
,態射集合
通過函數
與
雙射。取
及
,按麼給定任意子集
,對應的函數
正是
的示性函數。
- 映到
的遺忘函子常常是可表的。特別地,每當
是由單個生成元
組成的單元素集合上的自由對象,遺忘函子就由
所表示,如:
- 群範疇上的遺忘函子
由
所表示。
- 環範疇上的遺忘函子
由整係數單變元多項式環
所表示。
-向量空間範疇上的遺忘函子
由
所表示。
- The forgetful functor Vect → Set on the category of real vector spaces is represented by (R, 1).
- 拓撲空間範疇上的遺忘函子
由單元素拓撲空間和其唯一元素所表示。
- 群
(甚至廣群)可以視作只有單個對象(記作
)的範疇。從這個範疇
到
的函子對應於
-集合。從
到
唯一的Hom函子
對應於底集合為
、作用為
中左乘法的典範
-集合。藉助群論中的標準論證可知從
到
函子可表若且唯若其對應的
-集合為正則的(自由且可遞;這類
-集合也稱為
-旋子或堆),而為這個函子選擇一個表示即相當於為這個堆選擇一個恆等元。
- 設
為對象是CW復形、態射為連續映射的同倫類的範疇。對於每個自然數
存在一個反變函子
,將每個CW復形映到其
階(整係數)上同調群。與阿貝爾群範疇上的遺忘函子複合後即得到一個從
到
的反變函子。代數拓撲中的布朗可表性定理聲明這個函子可由一個CW復形
所表示;這個CW復形被稱為艾倫伯格-麥克蘭恩空間。
性質
唯一性
函子的表示在同構的意義下唯一。換言之,如果
與
表示同一個函子,那麼存在唯一的同構
使得
![{\displaystyle \Phi _{1}^{-1}\circ \Phi _{2}=\mathrm {Hom} (\varphi ,-)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/114000c2e19547c043a885914fa9d0bd570c253b)
作為從
到
自然同構相等。這一事實可由米田引理簡單得出。
用泛元素的語言陳述:如果
與
表示同一個函子,那麼存在唯一的同構
使得
![{\displaystyle (F\varphi )u_{1}=u_{2}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/302edd3b7c56d510b3af4088f72bb26e0e50c8f3)
保極限性
可表函子自然同構與Hom函子,因而享有後者的許多性質。尤其值得注意的是,(協變)可表函子保持所有極限。由此可得,未能保持某些極限的函子都不是可表的。
相似地,反變可表函子把余極限映到極限。
左伴隨
如果函子
帶有左伴隨
,那麼它就可由
表示;這裏
是某個單元素集合,而
是伴隨的單位。
反之,如果
由對
表示,且
的任意上冪在
中存在,那麼
擁有左伴隨
,後者將任意集合
映到
的
次上冪。
所以,如果
是帶所有上冪的範疇,則函子
是可表的若且唯若它擁有左伴隨。
與泛態射及伴隨的關聯
泛態射和伴隨函子這兩個範疇論概念都可以用可表函子表達。
設
為函子,
為
中的對象。那麼
是從
到
的泛態射若且唯若
是函子
的表示。由此可知
帶有左伴隨(記為
)若且唯若函子
對於任意
中的對象
都可表。此外,伴隨正由自然同構
給出,即:
![{\displaystyle \Phi _{X,Y}\colon \mathrm {Hom} _{\mathcal {D}}(FX,Y)\to \mathrm {Hom} _{\mathcal {C}}(X,GY)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/13406e04a7b8c90f0529a007099810bcce9c6395)
對於所有
和
都是雙射。
與之對偶的陳述也成立:設
為函子,
為
中的對象。那麼那麼
是從
到
的泛態射若且唯若
是函子
的表示。由此可知
帶有右(記為
)伴隨若且唯若函子
對於任意
中的對象
都可表。
參考文獻