之前，我写过，学完范畴论，基本的代数结构就完全掌握了，看似是在说大话，毕竟代数的种类那是不可胜数，群环域模，向量张量，矩阵，函数，函数变换，算子...

这个系列差不多有三个月了吧，总算是把这书初步看了一遍。不禁唏嘘，这书是去年年初开始看的，也是因缘际会所得，最初是一个公众号推荐的，说这个多么多么...

有一个疑问，余对角函子是忠实的，但不是箭头单的，这个结论如何得到呢？ 函子一般而言总是称协变函子与反变函子，可以视为，协变函子由一个范畴到另一个...

逻辑或者数理逻辑，是数学的根基，集合论其实是在逻辑规则上的一个理论。所以，在处理真类时，尽管集合论不能使用了，但逻辑仍可以使用。将真类视为命题变...

完备性，出自分析或者说是拓扑，实数集的完备性就是最小上界公理，反映的是某种极限的存在，相对于所有的上界，最小的那一个。这种完备性还可以通过柯西序...

回顾一下函子的性质，他是一种保持范畴结构的映射，从定义域范畴到陪域范畴。 在这种基础上，可以根据函子对更高级结构的保持而定义出保持某种结构的函子...

指数是范畴中另一个重要的结构，本身的思想来源就是lambda抽象，λx.t，t为一个项，这个式子的意思是，输入x就输出t，于是算符λx.的含义就...