通俗范畴论6 基于关系的范畴

前一部分介绍了Set𝑆𝑒𝑡范畴的含义：

Set𝑆𝑒𝑡范畴

所有集合构成的范畴，该范畴的对象是集合，态射是集合间的函数，态射的复合是函数的复合，又名集合函数范畴。

在 Set𝑆𝑒𝑡 范畴中，对象是集合，态射是集合间的函数。也许你觉得这是十分自然的事情，但仔细想想，如果态射就仅仅只能是函数的话，那发明范畴意义似乎不大，因为无非是换了一套名字：集合叫做对象，函数叫做态射，换汤不换药。

其实，态射的具体含义，因所处的上下文不同，可以非常不同。本部分将介绍一些基于关系建立起来的范畴。

关系范畴（Rel Category）

关系是集合间两个元素的某种联系。例如：小丽才华出众，小明是小丽的粉丝，这里小明和小丽是集合中的元素，关系是粉丝。我们抽象一下，把小明叫做a，小丽叫做b，粉丝关系叫做R，那么可以有表达式：a R b。

因为小明是小丽的粉丝，不一定意味着小丽就是小明的粉丝，因此 a R b 不意味着 b R a，或者说 (a R b) ≠ (b R a)