通俗范畴论11 对偶范畴与余积

对偶范畴与余积

对偶的通俗意义

对偶，我们并不陌生，例如唐朝杜甫的《绝句》：

两 个 黄 鹂 鸣 翠 柳 ， 一 行 白 鹭 上 青 天 。

窗 含 西 岭 千 秋 雪 ， 门 泊 东 吴 万 里 船 。

— 唐 杜甫

上面这首诗，是唐朝杜甫的《绝句》，我们可以发现，“两个”对应“一行”，“黄鹂”对应“白鹭”…，就说该诗中的上句，总是要求其下句的对应，这就是对偶。

在范畴论中，对偶性对应的英文是：Duality，也就是双重性。

对偶与相反

在诗词中，如果上句已经给出，那么它必然要求有形式和内容相应的下句出现；同样地，如果一个人是丈夫，那么必然对应一个人是妻子；如果命题 A 成立，则命题 B 成立，那么它等价于说：命题 B 不成立，则命题 A 不成立。

上面这些例子，都是对偶的一般例子，这些一般的例子都有一个特点：就是当一个东西出现时，另一个东西必然也跟着出现，或者同时成立。贴切的比喻就是形影不离，对偶的两个方面是形影不离