摘要： 范畴论的最大优势在于可以使用泛性质定义对象。 积与余积 令$X_1, X_2 \in \text{obj}(\mathcal{C})$，积$X_1 \times X_2$是满足以下泛性质的对象：对任意$Y \in \text{obj}(\mathcal{C})$，下图是交换的。 而余积$X_1 \o 阅读全文