注：由于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
-
