开始新篇，使用碎片时间学一些东西。这个本来想看的，但是太难了，感觉看不下去。所以希望一天看一点。
范畴论的一些基础内容，出自范畴代数手册
当提及数学对象时，一般有这样的说法，对于所有的群，所有的拓扑空间有什么什么性质。
这就产生了一个问题，对于集合论而言，这样的描述得到的不是一个集合。
例子：一个交换群A是投影的，对任意的群同态,满群同态
,g可通过f分解，也就是说，对于每个由交换群A到群C的群同态，交换群A与交换群B之间有唯一的群同态，使得B到C为满同态。
不存在万有集合，也就是罗素悖论的一个翻版。假设存在这样的万有集，使用分离公理，就能构造出一个矛盾的集合。一个元素不属于他，结果就属于他，显然是不合二值逻辑非真即假的前提的。
