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

如果我还没有使你已经确信范畴论就是所有和态射有关的东西，那就是我的失职。因为下一个主题是伴随，而伴随是用hom集的同构定义的，所以回顾一下有关hom集的那些积木是很有意义的。而且你会看到伴随为描述我们之…

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

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

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

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

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

在本书的第一部分我曾说范畴论和编程都与可复合性相关。在编程时，你总会不断地把问题分解到一个你能处理其细节的程度，然后一个个地解决每个子问题，最后把它们自底向上地重新组合起来。这里，大致来说，有两种…