Category Theory

一个范畴由三部分构成：

• 对象（Object）：例如整数、字符串等类型。
• 态射（Morphism）：对象之间的映射，例如函数。
• 复合（Composition）：可以把两个首尾相接的映射组合起来。