通俗范畴论13 鸡与蛋的故事番外篇
在上一篇中,我们得到了鸡与蛋的Set局部小范畴如下:
鸡与蛋 SetSetSet 局部小范畴

如上图所示,每个鸡来自于一个蛋,每个蛋来自于一只鸡,如此循环,以至于无穷…
是的,假设鸡与蛋两个对象代表的集合,都是无穷集合,这个系统就没有问题。但假若鸡与蛋是有穷集合,那就会有问题,因为从任何一只鸡,推蛋,再推鸡,一直往回推,因为集合是有穷的,必然能推到一只鸡推不出蛋,或者一个蛋推不出鸡。
在数学上,上面的这个范畴没问题,但是,比如你做一个计算机程序,因为计算机程序的资源有限,所以鸡和蛋这两个