tion::::背景.研究范畴就是试图以「公理化」的方法抓住在各种相关连的「数学结构」中的共同特性，并以结构间的「结构保持函数」将这些结构相关起来。因此，对范畴论系统化的研究将允许任何一个此类数学结构的普遍结论由范畴的公理中证出。考虑下面的例子：由群组成的类Grp 包含了所有具有「群结构」的物件。要证明有关群的定理，即可由此套公理进行逻辑的推导。例如，由公理中可立即证明出，群的单位元素是唯一的。不是只专注在有特定结构的个别物件（如群）上，范畴论会着重在这些物件的态射（结构保持映射）上；经由研究这些