A taxonomy of categories for relations
本文提供了一个现代且有条理的范畴分类体系，该体系抽象了关系的结构性质，包括其丰富化版本及其作为对称幺半单子克莱尼范畴的刻画。
原始论文根据 CC0 1.0（http://creativecommons.org/publicdomain/zero/1.0/）发布到公有领域。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
想象一下，你正在试图整理一个包含各种事物间“连接”类型的庞大图书馆。在数学和计算机科学中，我们通常研究函数（一个输入对应恰好一个输出）和关系（一个输入可以对应多个输出，或者根本没有输出）。
在过去的几十年里，数学家们发明了数十种不同的“规则手册”（称为范畴），用来描述这些连接是如何运作的。问题在于，尽管这些规则手册描述的是非常相似的概念，但它们往往拥有不同的名称。这就像拥有一个图书馆，其中“苹果”被称为“红色水果”，“橙子”被称为“柑橘”，“香蕉”被称为“黄色曲线”，但却没有人拥有一张地图来展示它们如何相互关联。
Cioffo、Gadducci 和 Trotta 的这篇论文**《关系的范畴分类法》，本质上就是这些连接规则手册的总地图或周期表**。以下是他们所做工作的简要分解：
1. 构建模块：复制与丢弃
要理解他们的地图，你首先需要了解事物相互作用时发生的两个基本动作：
- 复制（“共享”动作）： 想象你有一份文件。你可以复制它。用数学术语来说，这就是将一个事物变成两个完全相同的事物。
- 丢弃（“垃圾”动作）： 想象你有一份文件，然后把它扔进垃圾桶。你不再需要知道上面写了什么；它就这样消失了。
作者们意识到，文献中几乎每一种“连接规则手册”都是通过决定允许这两种动作中的哪一种，以及它们是否遵循严格规则（例如“你必须始终能够复制”）或宽松规则（例如“你可以复制，但也许并非总是如此”）而构建的。
2. "GS-幺半”核心
作者们引入了一个核心概念，称为GS-幺半范畴。你可以将其视为连接规则手册中的“瑞士军刀”。
- GS代表Garbage（垃圾）和Share（共享）。
- 如果一本规则手册允许你复制事物，它就具有“共享”结构。
- 如果它允许你丢弃事物，它就具有“垃圾”结构。
- 如果它允许你同时做这两件事，它就是一个GS-幺半范畴。
他们表明，数学和计算机科学中的许多著名概念只是这把“瑞士军刀”的具体版本：
- 马尔可夫范畴（Markov Categories）： 这些是概率的规则手册。它们就像是“垃圾”规则手册，其中你必须能够丢弃事物（代表概率之和必须为 1 的概念）。
- 限制范畴（Restriction Categories）： 这些是偏函数（函数可能失败或不存在）的规则手册。它们就像是“共享”规则手册，你可以在某些条件下复制事物。
- 笛卡尔范畴（Cartesian Categories）： 这些是我们在学校学习的标准“全函数”。它们是最僵硬的版本，其中你总是可以完美地复制和丢弃。
3. "Kleisli"机器
这篇论文还考察了一种称为Kleisli 范畴的特定数学机器。
- 隐喻： 想象你有一个制造小部件的标准工厂（一个范畴）。现在，想象你给工厂添加了一个“包装”或“特效”（称为单子）。Kleisli 范畴就是那个生产“包装好的小部件”的新工厂。
- 发现： 作者们证明，如果你将一个“垃圾/共享”工厂用一种特定类型的特效包裹起来，新工厂仍然保留垃圾/共享规则。
- 意义： 这帮助数学家们知道，如果他们使用这些包装来构建复杂系统，他们不会失去复制和丢弃的基本属性。这就像说：“如果你给一把瑞士军刀套上保护套，它仍然是一把瑞士军刀。”
4. “富化”版本（添加梯子）
最后，论文考察了一个更复杂的版本，其中的连接不仅仅是“是/否”，而是具有等级或顺序（像梯子一样）。
- 隐喻： 在普通的规则手册中，两个连接要么相同，要么不同。在这个“富化”版本中，一个连接可以“小于”或“优于”另一个连接。
- 他们表明，即使有了这个额外的等级梯子，相同的“垃圾/共享”规则仍然适用，只是增加了一些额外的不等式（例如说“复制至少和什么都不做一样好”）。
大局观
作者们并没有发明新的“魔法”连接。相反，他们将现有思想的混乱图书馆整理成了一个清晰、逻辑化的家族树。
- 他们展示了许多不同的名称（马尔可夫、限制、仿射等）实际上只是“复制”和“丢弃”的不同组合。
- 他们展示了当对这些结构应用数学“包装”（单子）时，它们是如何表现的。
- 他们提供了一种统一的单一语言（使用看起来像电路板的“弦图”），以便一次性讨论所有这些内容。
简而言之，这篇论文是一个翻译者和组织者，它帮助研究人员停止因不同名称而感到困惑，并开始看到数学关系运作方式背后的统一性。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。