本文主要是介绍通俗范畴论11 对偶范畴与余积，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！
对偶范畴与余积
对偶的通俗意义
对偶，我们并不陌生，例如唐朝杜甫的《绝句》：
两 个 黄 鹂 鸣 翠 柳 ， 一 行 白 鹭 上 青 天 。
窗 含 西 岭 千 秋 雪 ， 门 泊 东 吴 万 里 船 。
— 唐 杜甫
上面这首诗，是唐朝杜甫的《绝句》，我们可以发现，“两个”对应“一行”，“黄鹂”对应“白鹭”…，就说该诗中的上句，总是要求其下句的对应，这就是对偶。
在范畴论中，对偶性对应的英文是：Duality，也就是双重性。
对偶与相反
在诗词中，如果上句已经给出，那么它必然要求有形式和内容相应的下句出现；同样地，如果一个人是丈夫，那么必然对应一个人是妻子；如果命题 A 成立，则命题 B 成立，那么它等价于说：命题 B 不成立，则命题 A 不成立。
上面这些例子，都是对偶的一般例子，这些一般的例子都有一个特点：就是当一个东西出现时，另一个东西必然也跟着出现，或者同时成立。贴切的比喻就是形影不离，对偶的两个方面是形影不离
这篇关于通俗范畴论11 对偶范畴与余积的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
