一是对象之间的箭头可以复合，且复合是满足结合律的；
二是每个对象到自己有一个单位箭头。一个简单的范畴例子是由集合构成对象，集合间的映射看做箭头。一般来说，对象和箭头可以是抽象的任何类型，范畴的概念提供了一个基本而抽象的方式去研究数学中的对象及其关系的方法。
匿名回答于2021-07-05 03:56:39
