通俗范畴论8 始对象与终对象

母范畴

我们在前文范畴的定义部分，给出了范畴的定义，范畴的定义本身，不依赖于集合论，它是公理化的，可以作为逻辑的起点，对于这个范畴的定义，因为它不依赖于已有的数学概念，因此我们给它取个名字，叫做母范畴（Meta Category）。

母范畴是一个“自由范畴”，我们来做一个思想实验，尝试建立一个母范畴：

在最一开始，什么也没有，母范畴中没有对象，也没有态射。

你可以自由地，不受限制地，在母范畴中添加任意多的对象，其中每一个对象上都自动有恒等态射。这些对象不需要代表任何东西，或包含任何信息。

假设你添加了2个对象，A 和 B，请问，你怎么分辨 A 与 B 呢？

一种办法是第一个加进来的，取名叫做 A，第二个加进来的取名叫做 B。虽然这个想法很笨，但是有助于我们用底层逻辑思考，但请注意，用这种办法，实际上你在通过时间的不同，区分这两个对象。

假设你过于匆忙，一下就把两个对象加进来了，忘了取名，怎么办呢？

母范畴的对象不需要代表任何东西，或包含任何信息，因此本质上，你无法区分哪个是 A 哪个