純粹數學/範疇論

維基教科書,自由的教學讀本

範疇論是數學的一門學科,以抽象的方法來處理數學概念,將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇,並且使用範疇論,令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。

範疇最容易理解的一個例子為集合範疇,其物件為集合,態射為集合間的函數。但需注意,範疇的物件不一定要是集合,態射也不一定要是函數;一個數學概念若可以找到一種方法,以符合物件及態射的定義,則可形成一個有效的範疇,且所有在範疇論中導出的結論都可應用在這個數學概念之上。

範疇最簡單的例子之一為群胚,其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現,在理論電腦科學的某些領域中用於對應資料型別,而在數學物理中被用來描述向量空間。

範疇論不只是對研究範疇論的人有意義,對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」,即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。

背景[編輯]

研究範疇就是試圖以「公理化」的方法抓住在各種相關連的「數學結構」中的共同特性,並以結構間的「結構保持函數」將這些結構相關起來。因此,對範疇論系統化的研究將允許任何一個此類數學結構的普遍結論由範疇的公理中證出。

考慮下面的例子:由群組成的類Grp 包含了所有具有「群結構」的物件。要證明有關群的定理,即可由此套公理進行邏輯的推導。例如,由公理中可立即證明出,群的單位元素是唯一的。

不是只專注在有特定結構的個別物件(如群)上,範疇論會著重在這些物件的態射(結構保持映射)上;經由研究這些態射,可以學到更多關於這些物件的結構。以群為例,其態射為群同態。兩個群間的群同態會嚴格地「保持群的結構」,這是個以將一個群中有關結構的訊息運到另一個群的方法,使這個群可以看做是另一個群的「過程」。因此,對群同態的研究提供了一個得以研究群的普遍特性及群公理的推論的工具。

類似的研究也出現在其他許多的數學理論中,如在拓撲學中對拓撲空間的連續映射的研究(相關範疇稱為Top),及對流形的光滑函數的研究等。