在範疇論中,範疇此一概念代表著一堆數學實體和存在於這些實體間的關係。對範疇的研究允許其公式化抽象結構及保有結構的數學運算等概念。實際上,範疇在現代數學的每個分支之中都會出現,而且是統合這些領域的核心概念。有關範疇自身的研究被稱做是範疇論。
一個範疇C包括:
- 一個由物件所構成的類ob(C)
- 物件間的態射所構成的類hom(C)。每一個態射f都會有唯一個「源物件」a和「目標物件」b,且 a和b都在ob(C)之內。因此寫成f: a → b,且稱f為由a至b的態射。所有由a至b的態射所構成的「態射類」,其標記為hom(a, b) (或 homC(a, b))。
- 對任三個物件a、b和c,二元運算hom(a, b)×hom(b, c)→hom(a, c)稱之為態射複合;f : a → b和g : b → c的複合寫成g o f或gf。
此態射複合滿足下列公理:
- (結合律)若f : a → b、g : b → c且h : c → d,則h o(g o f)=(h o g)o f;
- (單位元)對任一物件x,存在一態射1x : x → x,使得每一態射f : a → b,都會有1b o f = f = f o 1a。此一態射稱為「x的單位態射」。
由上述公理,可證明對每一個物件均只確實地存在著單一個單位態射。一些作者會將每一個物件等同於其相對應的單位態射。
小範疇是一個ob(C)和hom(C)都是集合而不是真類的範疇。不是小範疇的範疇則稱之為大範疇。局部小範疇是指對所有物件a和b,態射類hom(a,b)都會是集合(被稱之為態射集合)的一個範疇。許多在數學中的重要範疇(如集合的範疇),即使不是小範疇,但也都至少會是局部小範疇。
每一範疇都可由其物件、態射和態射複合來表示。
- 所有集合的範疇Set,其態射為集合間的函數,而態射複合則為一般的函數複合。(下列皆為具體範疇的例子,即在Set上加入一些結構,且要求態射為對應於此附加結構的函數,態射複合則為簡單的一般函數複合。)
- 所有小範疇的範疇Cat,其態射為函子。
- 所有集合的範疇Rel,其態射為關係
- 任一預序集合(P, ≤)都會形成一個小範疇,其物件為P的元素,態射為由x至y若x ≤ y(而態射複合的公理則是必然滿足的,因為由任一物件至另一物件間至多只存在一個態射)。
- 任一么半群都會形成一個具單一個物件x的小範疇(此處的x是任一個固定的集合)。從x至x的態射恰好是么半群的元素,且其態射複合由么半群的運算所給定。么半群令態射絕不可能為函數,唯一從單元素集合x至x的函數為當然函數。可視範疇為廣義化了的么半群;一些和么半群有關的定義和定理也可能可以義廣化成範疇的定義和定理。
- 任一有向圖都會產生一個小範疇:其物件為圖的頂點,態射為圖中的路徑,而態射複合則為路徑的串接。這被稱之為由圖產生出的「自由範疇」。
- 若I是一個集合,「在I上的具體範疇」會是個小範疇,其物件為I的元素,而態射則只有單位態射。當然,其態射複合的公理是必然滿足的。
- 任一範疇C皆可以另一種方式被視為是一個新的範疇:其物件和原範疇的一樣,但態射則和原範疇相反。這被稱之為對偶範疇,標記為Cop。
- 若C和D為範疇,可形成一「積範疇」C×D:其物件為由C和D內的物件所組成的對,且態射亦為由C和D內的態射所組成的對。這些對的態射複合是由各元素各自複合。
一個態射f : a → b被稱為
- 單態射,若且唯若對於所有的態射g1, g2 : x → a,fg1 = fg2可推得g1 = g2.
- 滿態射,若且唯若對於所有的態射g1, g2 : b → x,g1f = g2f 可推得g1 = g2.
- 雙態射,若且唯若f 既是單態射又是滿態射
- 收縮(retraction),若且唯若它有右逆,也就是說,如果存在一個態射g : b → a滿足fg = 1b。收縮又被稱作分裂滿態射。
- 截面(section),若且唯若它有左逆,也就是說,如果存在一個態射g : b → a滿足gf = 1a。截面又被稱作分裂單態射。
- 同構,若且唯若它有逆,即如果存在態射g : b → a滿足fg = 1b且gf = 1a.
- 同態,若且唯若a = b. a的同態的類表示為end(a)。
- 自同構,若且唯若f既是同態又是同構。a的自同構的類表示為aut(a)。
下述三個命題是等價的:
- f 是單態射且是收縮。
- f 是滿態射且是截面。
- f 是同構。
態射之間的關係(例如fg = h)可以非常方便地表示為交換圖表,其中物件表示為點,態射表示為箭頭。
- 在許多範疇中,例如阿貝爾群範疇或向量空間範疇,態射集合hom(a, b)不僅是集合,而且還是阿貝爾群,並且態射的複合與這些阿貝爾群之間的群結構兼容,即複合映射是雙線性的。這種範疇稱為預可加範疇。如果在此基礎上這個範疇還帶有所有有限積和上積,那麼我們稱之為可加範疇。如果更進一步地,所有態射都有核和上核,並且每個滿態射都是上核而每個單態射都是核,那麼我們稱之為阿貝爾範疇。阿貝爾範疇的典型例子是阿貝爾群的範疇。
- 範疇是完備的當其擁有所有極限。集合、阿貝爾群、拓撲空間的範疇都是完備的。
- 範疇是笛卡爾閉的當其擁有所有有限直積、且有限積上的態射總是可由任一因子上的態射確定。笛卡爾閉範疇包括Set和CPO,即完全偏序和斯科特連續函數組成的範疇。
- 拓撲斯是一種特定的笛卡爾閉範疇;所有數學內容都可以用拓撲斯的語言形式化(正如所有經典數學都可以用集合範疇的語言形式化一般)。拓撲斯也可用於表示邏輯理論。
- Adámek, Jiří, Herrlich, Horst, & Strecker, George E.(1990). Abstract and Concrete Categories (頁面存檔備份,存於網際網路檔案館). Originally publ. John Wiley & Sons. ISBN 0-471-60922-6.(now free on-line edition)
- Asperti, Andrea, & Longo, Giuseppe (1991). Categories, Types and Structures. Originally publ. M.I.T. Press.
- Barr, Michael, & Wells, Charles (2002). Toposes, Triples and Theories.(revised and corrected free online version of Grundlehren der mathematischen Wissenschaften(278). Springer-Verlag,1983)
- Borceux, Francis (1994). Handbook of Categorical Algebra.. Vols. 50-52 of Encyclopedia of Mathematics and its Applications. Cambridge: Cambridge University Press.
- Lawvere, William, & Schanuel, Steve.(1997). Conceptual Mathematics: A First Introduction to Categories. Cambridge: Cambridge University Press.
- Mac Lane, Saunders (1998). Categories for the Working Mathematician(2nd ed.). Graduate Texts in Mathematics 5. Springer. ISBN 0-387-98403-8.
- Jean-Pierre Marquis, "Category Theory" (頁面存檔備份,存於網際網路檔案館) in Stanford Encyclopedia of Philosophy (頁面存檔備份,存於網際網路檔案館), 2006