
範畴(数学概念)
在数学中,範畴(category),是一种包含了对象及对象之间箭头的代数结构。範畴具有两个基本性质:一是对象之间的箭头可以複合,且複合是满足结合律的;二是每个对象到自己有一个单位箭头。一个简单的範畴例子是由集合构成对象,集合间的映射看做箭头。一般来说,对象和箭头可以是抽象的任何类型,範畴的概念提供了一个基本而抽象的方式去研究数学中的对象及其关係的方法。
基本介绍
- 中文名:範畴
- 外文名:category
- 要素组成:对象,态射
- 例子:集合的範畴、群的範畴
定义
一个範畴
,是由以下要素组成:

(1) 一些对象(通常用大写字母
等表示)构成的一个类
;


(2)由所有的集合
构成的族,这里
取遍
中的所有对象。
中的元素
称为从
到
的态射(morphism),记为
;








(3)对于
中任意三个对象
,存在二元运算元
,成为态射的複合,记
和
的複合为
或
,使得下面的公理成立:







(i)(结合律)如果有
,
和
,则
;




(ii)(单位元)对每个对象
,有单位态射
,使得对任意的
,有
,且对任意的
,有
。






範畴
中的一个态射
被称为同构,如果存在一个态射
,使得
,
。这时,我们也称对象
和
是同构的。一个广群是一个範畴,满足其中任意态射都是同构。







小範畴
一个範畴
被成为小範畴(small category),如果它的对象类
是一个集合。一个範畴
被称为基本小(essentially small),如果它的对象的同构类是一个集合。显然小範畴总是基本小的。



例子
每一範畴都可由其物件、态射和态射複合来表示。
1.所有集合的範畴Set,其态射为集合间的函式,而态射複合则为一般的函式複合。(下列皆为具体範畴的例子,即在Set上加入一些结构,且要求态射为对应于此附加结构的函式,态射複合则为简单的一般函式複合。)
1) 所有预序关係的範畴,其态射为单调函式;
2) 所有原群的範畴,其态射为原群间的同态。
3) 所有群的範畴,其态射为群间的群同态;
4) 所有阿贝尔群的範畴,其态射为群间的群同态;
5) 所有环的範畴,其态射为环同态。
6)所有于体K(维持固定)上的向量空间的範畴,其态射为线性映射;
7) 所有拓朴空间的範畴,其态射为连续函式;
8) 所有度量空间的範畴,其态射为度量映射;
9) 所有一致空间的範畴,其态射为一致连续函式;
10) 所有光滑流形的範畴,其态射为
次连续可微映射;

11) 所有小範畴的範畴,其态射为函子;
12) 所有集合的範畴,其态射为关係。
2. 任意一个偏序集 构成一个範畴
,对象是
中的元素,存在一个从
到
的态射若且唯若
。恆等态射和态射的複合由偏序的自反性和传递性给出。这是一个小範畴。





3. 任一幺半群都会形成一个具单一个物件
的小範畴(此处的x是任一个固定的集合)。从
至
的态射恰好是幺半群的元素,且其态射複合由幺半群的运算所给定。幺半群令态射绝不可能为函式,唯一从单元素集合x至x的函式为当然函式。可视範畴为广义化了的幺半群;一些和幺半群有关的定义和定理也可能可以义广化成範畴的定义和定理。



4. 任一有向图都会产生一个小範畴:其物件为图的顶点,态射为图中的路径,而态射複合则为路径的串接。这被称之为由图产生出的“自由範畴”。
5.若I是一个集合,“在
上的具体範畴”会是个小範畴,其物件为的元素,而态射则只有单位态射。当然,其态射複合的公理是必然满足的。

6.任一範畴
皆可以另一种方式被视为是一个新的範畴:其物件和原範畴的一样,但态射则和原範畴相反。这被称之为对偶範畴,标记为
。


7.若
和
为範畴,可形成一“积範畴”
:其物件为由
和
内的物件所组成的对,且态射亦为由
和
内的态射所组成的对。这些对的态射複合是由各元素各自複合。







範畴类型
1.在许多範畴中,例如阿贝尔群範畴或向量空间範畴,态射集合
不仅是集合,而且还是阿贝尔群,并且态射的複合与这些阿贝尔群之间的群结构兼容,即複合映射是双线性的。这种範畴称为预可加範畴。如果在此基础上这个範畴还带有所有有限积和上积,那幺我们称之为可加範畴。如果更进一步地,所有态射都有核和上核,并且每个满态射都是上核而每个单态射都是核,那幺我们称之为阿贝尔範畴。阿贝尔範畴的典型例子是阿贝尔群的範畴。

2.範畴是完备的当其拥有所有极限。集合、阿贝尔群、拓扑空间的範畴都是完备的。
3.範畴是笛卡尔闭的当其拥有所有有限直积、且有限积上的态射总是可由任一因子上的态射确定。笛卡尔闭範畴包括
和
,即完全偏序和斯科特连续函式组成的範畴。


4.拓扑斯是一种特定的笛卡尔闭範畴;所有数学内容都可以用拓扑斯的语言形式化(正如所有经典数学都可以用集合範畴的语言形式化一般)。拓扑斯也可用于表示逻辑理论。