通俗范畴论4 范畴的定义

注：由于CSDN无法显示本文章源文件的公式，因此部分下标、字母花体、箭头表示可能会不正常，请读者谅解

范畴的正式定义

上一节我们在没有引入范畴这个数学概念的情况下，直接体验了一个“苹果1”范畴，建立了一个对范畴的直观。本节我们正式学习范畴的定义和基本性质。

一个范畴(Category) C𝐶，由以下部分组成：

• 数据：

  • 对象（Objects）：包含若干个对象（Objects），这些对象的全体构成一个聚集（Collection），这个聚集记为 ob(C)𝑜𝑏(𝐶)

  • 态射（morphisms）：对于对象 A,B∈ob(C)𝐴,𝐵∈𝑜𝑏(𝐶)，有一个态射构成的聚集 C(A,B)𝐶(𝐴,𝐵) 包含了 从 A𝐴 到 B𝐵 的所有态射 a→b𝑎→𝑏

• 结构：

  • 恒等态射（identities）：对于任何对象 A∈ob(C)𝐴∈𝑜𝑏(𝐶)，都有一个恒等态射 A−→−IdAA