标签： 范畴论

上一篇：有关态射的一切 原文地址：[链接] 这一篇正在翻译当中…

如果我还没有使你已经确信范畴论就是所有和态射有关的东西，那就是我的失职。因为下一个主题是伴随，而伴随是用hom…

上一篇：米田引理 这一篇正在翻译当中。。。

上一篇：可表函子 原文地址：[链接] 这一篇正在翻译当中。。。

上一篇：自由幺半群 原文地址：[链接] 这一篇正在翻译当中…

上一篇：极限与余极限 原文地址：[链接] 这一篇还在翻译当中…

这一篇还正在翻译当中。。。

在本书的第一部分我曾说范畴论和编程都与可复合性相关。在编程时，你总会不断地把问题分解到一个你能处理其细节的程度…