[论文解读] The nucleus of an adjunction and the Street monad on monads

Duško Pavlović, Dominic J. D. Hughes|arXiv (Cornell University)|Apr 15, 2020

Topological and Geometric Data Analysis参考文献 60被引用 5

一句话总结

本文提出了一种核构造，可将任意伴随关系转化为严格幂等且自对偶的核伴随关系，揭示了原始伴随关系中隐含的概念。该构造被提升至2-范畴，定义了一个在单子上的严格幂等的Street单子，用于提取单子的核，从而统一了抽象范畴论与数据科学和机器学习中的具体应用。

ABSTRACT

An adjunction is a pair of functors related by a pair of natural transformations, and relating a pair of categories. It displays how a structure, or a concept, projects from each category to the other, and back. Adjunctions are the common denominator of Galois connections, representation theories, spectra, and generalized quantifiers. We call an adjunction nuclear when its categories determine each other. We show that every adjunction can be resolved into a nuclear adjunction. The resolution is idempotent in a strict sense. The resulting nucleus displays the concept that was implicit in the original adjunction, just as the singular value decomposition of an adjoint pair of linear operators displays their canonical bases. [snip] In his seminal early work, Ross Street described an adjunction between monads and comonads in 2-categories. Lifting the nucleus construction, we show that the resulting Street monad on monads is strictly idempotent, and extracts the nucleus of a monad. A dual treatment achieves the same for comonads. This uncovers remarkably concrete applications behind a notable fragment of pure 2-category theory. The other way around, driven by the tasks and methods of machine learning and data analysis, the nucleus construction also seems to uncover remarkably pure and general mathematical content lurking behind the daily practices of network computation and data analysis.

研究动机与目标

• 定义并表征核伴随关系，即两个范畴通过伴随关系完全相互确定。
• 证明每个伴随关系均可被唯一地解析为一个严格幂等的核伴随关系。
• 将核构造提升至2-范畴，特别地，定义一个在单子上的严格幂等的Street单子。
• 揭示该构造如何揭示实际数据处理与网络计算背后的深层数学结构。
• 在抽象2-范畴理论与机器学习中的计算实践之间建立正式桥梁。

提出的方法

• 定义一种核构造，通过严格幂等的解析方式，将任意伴随关系映射为核伴随关系。
• 利用伴随关系的结构，识别在两个范畴之间保持不变的最小概念。
• 将核构造提升至2-范畴设定，特别地，针对Ross Street所描述的单子与余单子之间的伴随关系。
• 将Street单子定义为对Street伴随关系应用核构造的结果。
• 证明所得的Street单子是严格幂等的，即两次应用与一次应用结果相同。
• 对构造进行对偶化，以适用于余单子，展示在该框架中单子与余单子处理的对称性。

实验结果

研究问题

• RQ1 如何将任意伴随关系唯一地解析为一个严格幂等的核伴随关系？
• RQ2 核构造在揭示给定伴随关系背后隐含概念的过程中起什么作用？
• RQ3 核构造如何被提升至2-范畴设定，特别是在单子与余单子之间的Street伴随关系背景下？
• RQ4 Street单子在单子上的本质是什么，为何它是严格幂等的？
• RQ5 该构造如何从实际的数据分析与网络计算中揭示出普遍的数学原理？

主要发现

• 每个伴随关系均可被唯一地解析为一个严格幂等的核伴随关系，意味着该解析过程在一次应用后即稳定。
• 伴随关系的核捕捉了两个参与范畴之间隐含共享的本质概念，类似于奇异值分解中的规范基。
• 核构造可被提升至2-范畴设定，产生一个在单子上的严格幂等的Street单子，用于提取单子的核心结构。
• 对余单子的对偶构造产生相同的结构洞察，表明在此框架中单子与余单子具有对称性。
• 所得的Street单子在单子上不仅严格幂等，还揭示了抽象2-范畴理论背后的深层具体数学结构。
• 该构造为机器学习与数据科学中使用的概念（如网络计算与数据转换）提供了形式化、通用且数学纯粹的基础。