跳转到内容

範疇 (數學)

维基百科,自由的百科全书
(重定向自范畴 (数学)

範疇論中,範疇此一概念代表著一堆數學實體和存在於這些實體間的關係。對範疇的研究允許其公式化抽象結構及保有結構的數學運算等概念。實際上,範疇在現代數學的每個分支之中都會出現,而且是統合這些領域的核心概念。有關範疇自身的研究被稱做是範疇論

定義

[编辑]

一個範疇C包括:

  • 一個由物件所構成的ob(C)
  • 物件間的態射所構成的類hom(C)。每一個態射f都會有唯一個「源物件」a和「目標物件」b,且 ab都在ob(C)之內。因此寫成f: ab,且稱f為由ab的態射。所有由ab的態射所構成的「態射類」,其標記為hom(a, b) (或 homC(a, b))。
  • 對任三個物件abc,二元運算hom(a, b)×hom(b, c)→hom(a, c)稱之為態射複合f : abg : bc的複合寫成g o fgf

此態射複合滿足下列公理:

  • (結合律)若f : abg : bch : cd,則h o(g o f)=(h o g)o f
  • (單位元)對任一物件x,存在一態射1x : xx,使得每一態射f : ab,都會有1b o f = f = f o 1a。此一態射稱為「x的單位態射」。

由上述公理,可證明對每一個物件均只確實地存在著單一個單位態射。一些作者會將每一個物件等同於其相對應的單位態射。

小範疇是一個ob(C)和hom(C)都是集合而不是真類的範疇。不是小範疇的範疇則稱之為大範疇局部小範疇是指對所有物件ab,態射類hom(a,b)都會是集合(被稱之為態射集合)的一個範疇。許多在數學中的重要範疇(如集合的範疇),即使不是小範疇,但也都至少會是局部小範疇。

例子

[编辑]

每一範疇都可由其物件、態射和態射複合來表示。

  • 所有集合的範疇Set,其態射為集合間的函數,而態射複合則為一般的函數複合。(下列皆為具體範疇的例子,即在Set上加入一些結構,且要求態射為對應於此附加結構的函數,態射複合則為簡單的一般函數複合。)
  • 所有小範疇的範疇Cat,其態射為函子
  • 所有集合的範疇Rel,其態射為關係
  • 任一預序集合(P, ≤)都會形成一個小範疇,其物件為P的元素,態射為由xyxy(而態射複合的公理則是必然滿足的,因為由任一物件至另一物件間至多只存在一個態射)。
  • 任一么半群都會形成一個具單一個物件x的小範疇(此處的x是任一個固定的集合)。從xx的態射恰好是么半群的元素,且其態射複合由么半群的運算所給定。么半群令態射絕不可能為函數,唯一從單元素集合xx的函數為當然函數。可視範疇為廣義化了的么半群;一些和么半群有關的定義和定理也可能可以義廣化成範疇的定義和定理。
  • 任一有向圖都會產生一個小範疇:其物件為圖的頂點,態射為圖中的路徑,而態射複合則為路徑的串接。這被稱之為由圖產生出的「自由範疇」。
  • I是一個集合,「在I上的具體範疇」會是個小範疇,其物件為I的元素,而態射則只有單位態射。當然,其態射複合的公理是必然滿足的。
  • 任一範疇C皆可以另一種方式被視為是一個新的範疇:其物件和原範疇的一樣,但態射則和原範疇相反。這被稱之為對偶範疇,標記為Cop
  • CD為範疇,可形成一「積範疇」C×D:其物件為由CD內的物件所組成的對,且態射亦為由CD內的態射所組成的對。這些對的態射複合是由各元素各自複合。

態射類型

[编辑]

一个态射f : ab被称为

  • 单态射,若且唯若对于所有的态射g1, g2 : xafg1 = fg2可推得g1 = g2.
  • 满态射,若且唯若对于所有的态射g1, g2 : bxg1f = g2f 可推得g1 = g2.
  • 双态射,若且唯若f 既是单态射又是满态射
  • 收缩(retraction),若且唯若它有右逆,也就是说,如果存在一个态射g : ba滿足fg = 1b。收縮又被稱作分裂满态射。
  • 截面(section),若且唯若它有左逆,也就是说,如果存在一个态射g : ba滿足gf = 1a。截面又被稱作分裂单态射。
  • 同构,若且唯若它有逆,即如果存在态射g : ba满足fg = 1bgf = 1a.
  • 同态,若且唯若a = b. a的同态的类表示为end(a)。
  • 自同构,若且唯若f既是同态又是同构。a的自同构的类表示为aut(a)。

下述三个命题是等价的:

  • f 是单态射且是收缩。
  • f 是满态射且是截面。
  • f 是同构。

态射之间的关系(例如fg = h)可以非常方便地表示为交换图表,其中物件表示为点,态射表示为箭头。

範疇類型

[编辑]
  • 在许多范畴中,例如阿贝尔群范畴或向量空间范畴,态射集合hom(a, b)不仅是集合,而且还是阿贝尔群,并且态射的复合与这些阿贝尔群之间的群结构兼容,即复合映射是双线性的。这种范畴称为预可加范畴。如果在此基础上这个范畴还带有所有有限上积,那么我们称之为可加范畴。如果更进一步地,所有态射都有核和上核,并且每个满态射都是上核而每个单态射都是核,那么我们称之为阿贝尔范畴。阿贝尔范畴的典型例子是阿贝尔群的范畴。
  • 范畴是完备的当其拥有所有极限。集合、阿贝尔群、拓扑空间的范畴都是完备的。
  • 范畴是笛卡尔闭的当其拥有所有有限直积、且有限积上的态射总是可由任一因子上的态射确定。笛卡尔闭范畴包括SetCPO,即完全偏序斯科特连续函数组成的范畴。
  • 拓扑斯是一种特定的笛卡尔闭范畴;所有数学内容都可以用拓扑斯的语言形式化(正如所有经典数学都可以用集合范畴的语言形式化一般)。拓扑斯也可用于表示逻辑理论。

參考文獻

[编辑]

外部連結

[编辑]