[论文解读] Double Clubs

Richard Garner|arXiv (Cornell University)|Jun 28, 2006

Logic, programming, and type systems被引用 8

一句话总结

本文提出了一种‘双俱乐部’理论，将凯利的俱乐部构造推广至伪双范畴，将关于 Cat 上对称严格张量范畴的俱乐部扩展至范畴、函子、范畴关系及变换的伪双范畴。其主要贡献在于系统性地将俱乐部结构扩展至高维范畴框架，从而在丰富化与范畴关系设定下实现结构化构造。

ABSTRACT

We develop a theory of double clubs which extends Kelly's theory of clubs to the pseudo double categories of Pare and Grandis. We then show that the club for symmetric strict monoidal categories on Cat extends to a `double club' on the pseudo double category of `categories, functors, profunctors and transformations'.

研究动机与目标

• 将凯利的俱乐部理论从普通范畴推广至伪双范畴的语境。
• 形式化‘双俱乐部’的概念，作为高维范畴理论中俱乐部的推广。
• 证明关于 Cat 上对称严格张量范畴的俱乐部可提升为范畴、函子、范畴关系及变换的伪双范畴上的双俱乐部。
• 提供一种利用范畴关系与变换层级数据构建和分析高维代数结构的框架。

提出的方法

• 将凯利的俱乐部构造适配至伪双范畴设定，保持一致性和结构。
• 将双俱乐部定义为范畴、函子、范畴关系及变换的伪双范畴上的单子。
• 利用范畴关系与变换的结构，将俱乐部运算从 Cat 提升至双范畴设定。
• 建立双俱乐部的相干性条件，使其推广凯利原始俱乐部理论中的相干性。
• 将双俱乐部构造应用于对称严格张量范畴的特定情形。
• 验证所提升的结构保持原始俱乐部的普遍性质与代数特性。

实验结果

研究问题

• RQ1 凯利的俱乐部理论如何能推广至伪双范畴的语境？
• RQ2 双俱乐部必须满足何种条件，才能将俱乐部结构从 Cat 扩展至高维范畴框架？
• RQ3 关于 Cat 上对称严格张量范畴的俱乐部能否被提升为范畴、函子、范畴关系及变换的伪双范畴上的双俱乐部？
• RQ4 范畴关系与变换在俱乐部构造向双范畴推广中扮演何种角色？
• RQ5 双俱乐部框架如何保持原始俱乐部的代数与普遍性质？

主要发现

• 双俱乐部理论成功地将凯利的俱乐部构造推广至伪双范畴的语境。
• 关于 Cat 上对称严格张量范畴的俱乐部可扩展为范畴、函子、范畴关系及变换的伪双范畴上的双俱乐部。
• 该扩展保持了原始俱乐部的普遍性与代数特性，确保在高维语境下的相干性。
• 双俱乐部框架为在范畴关系与丰富化范畴论中构建与分析代数结构提供了系统性方法。
• 范畴关系与变换的使用使得构造比经典俱乐部在普通范畴论中的情形更加丰富且灵活。
• 结果表明，双俱乐部为俱乐部理论向高维范畴语境的自然且结构化的推广。