范畴与函子（代数拓扑）.pdfVIP

1.范畴与函子

范畴

在范畴论当中,我们会频繁地使用图表的语言.粗略地说,一个图表指的是一些‘对象’和‘箭头’的集合;我们将这

些对象记为A,B,C,X,Y,⋯,将箭头记为f,g,⋯,例如:

我们用∘来表示箭头的复合.如果在一个图表中,对于任意两个对象,它们之间任意路径上箭头的复合都相等,我

们称这个图表交换.对于之前的两个例子而言,它们交换当且仅当

hg∘ff∘fg∘g.

2121

定义1.1.一个范畴C包含如下信息:

1.一类对象:Obj(C)(我们称一个范畴是小的,如果Obj(C)构成一个集合).

对于范畴C中的对象A,我们记A∈Obj(C),或直接记为A∈C.

2.任意对象之间态射构成的集合:.任意被称为到的一个态射,记