#范畴论
【范畴论】练习：定义验证与泛性质使用
选做一些 Mac Lane 书上的习题（到 Ⅲ. Universals and Limits 的 1. Universal Arrows）。
【范畴论】代数上常见定义对应的泛性质
代数上的定义的范畴论观点：关于笛卡尔积，无交并，直积，直和，积空间，纤维积。
选做一些 Mac Lane 书上的习题（到 Ⅲ. Universals and Limits 的 1. Universal Arrows）。
代数上的定义的范畴论观点：关于笛卡尔积，无交并，直积，直和，积空间，纤维积。