上一篇：可表函子 原文地址：https://bartoszmilewski.com/2... 范畴论中的大多数构造都是其他具体数学领域的泛化。诸如积、余积、幺半群和指数等等，早都在范畴论以前被了解了。在不同的数学分支中，它们也许有不同的名字。集合论中的笛卡儿积，序数理论的下确界，逻辑中的连词——他们都是范畴积这样一个抽象观点的具体例子。 但作为一个有关范畴的一般陈述，米田引理却完全不同。它少有或

上一篇：米田引理 原文地址：https://bartoszmilewski.com/2... 我们之前已经看到，固定范畴C的一个对象，映射C(a, -)是一个从C到Set的（协变）函子。 x -> C(a, x) (上域是Set是因为hom集C(a, x)是个集合。)我们把这个映射叫hom函子——我们之前也已经定义了它在态射上的行为。 现在让我们变化这个映射中的a。我们得到了一个新的映射：给任意