范畴论范畴分类在许多范畴中，态射集合 Mor(A,B) 不仅仅是集合，实际上是交换群，态射的复合具有群结构，也就是说是双线性的
这种范畴被称为预加性范畴
如果这种范畴还具有所有有限的积和余积，则称为加性范畴
如果所有具有一个核和一个余核，那么所有满射都是余核，所有单射都是核，我们称此为阿贝尔范畴
阿贝尔范畴的一个典型的例子是交换群所组成的范畴
1.一个范畴被称为是完备的，如果所有极限存在
集合，交换群和拓扑空间的范畴是完备的
2.一个范畴被称为是笛卡儿闭性的，如果它具有有限直积，并且一个定义在有限乘积上的态射总是可以表示成定义在其中一个因子上的态射
3.一个拓扑斯是一种特殊的笛卡儿闭范畴，在其中可表述（公理化）所有的数学结构（就象传统上使用集合论可以表示所有数学结构）
一个拓扑斯也可以用来表述一个逻辑理论
4.一个广群是这样一种范畴，其中每一个态射都是一个同构
广群是群、群作用和等价关系的推广
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
