范畴论

范畴

定义(粗略)

有一些对象如：X,Y,Z和每两个对象有一组态射：f:X->Y

这个态射可以理解为两个对象之间的行为或关系。

范畴中的态射满足以下条件：

1. 每个对象到自身有恒等的态射：X->X
2. 每个态射都有：f:X->Y g:Y->Z 那么就有g·f:X->Z
3. 任何态射f:X->Y与恒等态射的复合满足：·f=f=f·其中:X->X
4. 任何态射都满足结合律