懂范畴论或计算机逻辑的飞友们能帮助一下一个简单的问题吗

galaxy8691 发表于 2009-5-8 06:54:13

虽然说这里主要是飞JJ的但是凭着好学的精神很飞友博大的智慧
我胆敢在这里问一下
就是说对于一个集范畴
空集是他的始对象因为EMPTY FUNCTION对空集所有集都有态射
而所有的单元素集是他的终对象因为所有集都对单元素集有唯一的态射
但是我想问为什么单元素集不可以是始对象他也可以对所有的集有唯一态射
并且为什么空集不可以是终对象呢所有集合对空集也有唯一态射啊
谢谢帮忙！！！

[ 本帖最后由 galaxy8691 于 2009-5-8 06:55 编辑 ]

galaxy8691 发表于 2009-5-9 01:30:56