[论文解读] The Ehresmann-Schein-Nampooripad Theorem for Inverse Categories

Darien DeWolf, Dorette Pronk|arXiv (Cornell University)|Jul 30, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用 5

一句话总结

本文通过建立逆范畴与函子的范畴和上部重型局部归纳群胚与局部归纳函子的范畴之间的等价性，将Ehresmann-Schein-Nambooripad（ESN）定理由逆半群推广至逆范畴。此外，该结果进一步推广至逆半范畴和拟松弛函子，从而将原始ESN定理的适用范围扩展至更广泛的范畴结构。

ABSTRACT

The Ehresmann-Schein-Nambooripad (ESN) Theorem asserts an equivalence between the category of inverse semigroups and the category of inductive groupoids. In this paper, we consider the category of inverse categories and functors -- a natural generalization of inverse semigroups -- and extend the ESN theorem to an equivalence between this category and the category of top-heavy locally inductive groupoids and locally inductive functors. From the proof of this extension, we also generalize the ESN Theorem to an equivalence between the category of inverse semicategories and the category of locally inductive groupoids and to an equivalence between the category of inverse categories with oplax functors and the category of top-heavy locally inductive groupoids and ordered functors.

研究动机与目标

• 将经典的Ehresmann-Schein-Nambooripad定理由逆半群推广至逆范畴。
• 在逆范畴与函子的范畴和上部重型局部归纳群胚与局部归纳函子的范畴之间建立范畴等价。
• 将该等价关系扩展至逆半范畴与局部归纳群胚。
• 研究拟松弛函子在广义ESN框架中的作用。
• 统一并推广逆范畴理论中现有的范畴论与半群理论对偶结果。

提出的方法

• 通过范畴结构将逆范畴形式化为逆半群的自然推广。
• 引入上部重型局部归纳群胚的概念，作为归纳群胚的范畴论推广。
• 定义此类群胚之间的局部归纳函子，以保持等价性所必需的结构。
• 使用范畴对偶技术，构建并验证逆范畴范畴与上部重型局部归纳群胚范畴之间的等价性。
• 将框架扩展至包含拟松弛函子与有序函子，以捕捉更广泛的态射类型。
• 将原始ESN定理的证明结构应用于新的范畴设定，适应函子与自然变换。

实验结果

研究问题

• RQ1 ESN定理如何从逆半群推广至逆范畴？
• RQ2 在群胚框架中，对应于逆范畴的范畴结构是什么？
• RQ3 何种函子能保持等价性所必需的结构？
• RQ4 拟松弛函子在逆范畴的扩展ESN框架中如何定位？
• RQ5 该等价关系能否扩展至逆半范畴与有序函子？

主要发现

• 建立了逆范畴与函子的范畴和上部重型局部归纳群胚与局部归纳函子的范畴之间的等价性。
• 广义ESN定理扩展至逆半范畴，表明其与局部归纳群胚之间存在等价关系。
• 该框架可容纳拟松弛函子，从而在逆范畴与拟松弛函子之间，以及上部重型局部归纳群胚与有序函子之间建立等价性。
• 证明技术通过适应函子与自然变换，推广了原始ESN定理。
• 结果统一并扩展了逆半群与范畴论中既有的对偶结果。
• 上部重型局部归纳群胚的结构在范畴设定中捕捉了逆范畴的本质属性。