對偶範疇

對偶範疇亦稱反向範疇或逆範疇，是範疇論的基本概念之一。任何範疇都有一個對偶範疇。

基本介紹

• 中文名：對偶範疇
• 外文名：dual category
• 適用範圍：數理科學

簡介

對任意範疇C，可以構造對偶範疇C^op。

C^op的對象類與C的一致，對任意兩個對象A、B，有，C^op中態射的複合由C中態射的複合以及與的一一對應自然給出。

範疇

在數學中，範疇（category）是一種包含了對象及對象之間箭頭的代數結構。範疇具有兩個基本性質：一是對象之間的箭頭可以複合，且複合是滿足結合律的；二是每個對象到自己有一個單位箭頭。一個簡單的範疇例子是由集合構成對象，集合間的映射看做箭頭。一般來說，對象和箭頭可以是抽象的任何類型，範疇的概念提供了一個基本而抽象的方式去研究數學中的對象及其關係的方法。

下面是幾個範疇的例子：

1) 所有預序關係的範疇，其態射為單調函式；

2) 所有原群的範疇，其態射為原群間的同態。

3) 所有群的範疇，其態射為群間的群同態；

4) 所有阿貝爾群的範疇，其態射為群間的群同態；

5) 所有環的範疇，其態射為環同態。

6)所有於體K（維持固定）上的向量空間的範疇，其態射為線性映射；

7) 所有拓撲空間的範疇，其態射為連續函式；

8) 所有度量空間的範疇，其態射為度量映射；

9) 所有一致空間的範疇，其態射為一致連續函式；

10) 所有光滑流形的範疇，其態射為p次連續可微映射；

11) 所有小範疇的範疇，其態射為函子；

12) 所有集合的範疇，其態射為關係。