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