[论文解读] Positive Opetopes with Contractions form a Test Category

Marek Zawadowski|arXiv (Cornell University)|Dec 16, 2017

Advanced Topics in Algebra参考文献 8被引用 3

一句话总结

本文证明了带有收缩态射（面映射与选定的退化映射）的正欧佩托普类别构成一个测试范畴。通过构建一个在预层范畴中与区间对象成为乘积的柱函子，作者证明了该范畴能够建模同伦类型，从而将 $\Delta$ 在高维范畴论中的基础作用扩展至更高维度。

ABSTRACT

We show that the category of positive opetopes with contraction morphisms, i.e. all face maps and some degeneracies, forms a test category. The category of positive opetopic sets pOpeSet can be defined as a full subcategory of the category of polygraphs Poly. An object of pOpeSet has generators whose codomains are again generators and whose domains are non-identity cells (i.e. non-empty composition of generators). The category pOpeSet is a presheaf category with the exponent being called the category of positive opetopes pOpe. Objects of pOpe are called positive opetopes and morphisms are face maps only. Since Poly has a full-on-isomorphisms embedding into the category of omega-categories oCat, we can think of morphisms in pOpe as omega-functors that send generators to generators. The category of positive opetopes with contractions pOpe_iota has the same objects and face maps pOpe, but in addition it has some degeneracy maps. A morphism in pOpe_iota is an omega-functor that sends generators to either generators or to identities on generators. We show that the category pOpe_iota is a test category.

研究动机与目标

• 建立带有收缩态射的正欧佩托普类别是一个测试范畴。
• 通过 $\iota$-态射将同伦框架扩展至欧佩托普集，以包含退化映射。
• 证明该扩展范畴的预层范畴可通过柱函子建模同伦类型。
• 验证预层范畴中的柱构造与区间对象成为乘积，满足测试范畴公理。
• 为高维代数与同伦理论提供基于带有收缩的欧佩托普的范畴基础。

提出的方法

• 将范畴 ${\bf pOpe}_{\iota}$ 定义为在 ${\bf pOpe}$ 上添加特定退化映射（$\iota$-态射）的扩展，这些映射将生成元映射到生成元或在生成元上为恒等映射。
• 利用欧佩托普上的旗、带孔旗与后继运算，在预层范畴 $\widehat{{\bf pOpe}}$ 上构造柱函子 ${\bf Cyl}_p$。
• 证明 ${\bf Cyl}_p(P)$ 是一个直线对象，确保其满足测试范畴的必要条件。
• 通过包含映射 $\kappa: {\bf pOpe} \to {\bf pOpe}_{\iota}$ 沿左凯南扩张，将柱函子扩展至 $\widehat{{\bf pOpe}_{\iota}}$，并证明其与区间 $I$ 的乘积同构。
• 利用柱函子的普遍性质以及 ${\bf pHg}_{\iota}$ 到 $\widehat{{\bf pOpe}_{\iota}}$ 的全嵌入，验证 ${\bf Cyl}_{\iota}(P)$ 满足乘积条件。
• 借助先前关于正欧佩托普基数与超图的研究成果，建立关于面映射、核与 $\iota$-态射下定义域保持性的技术引理。

实验结果

研究问题

• RQ1 带有收缩态射的正欧佩托普类别是否满足测试范畴的公理？
• RQ2 预层范畴 $\widehat{{\bf pOpe}}$ 上的柱函子能否扩展至 $\widehat{{\bf pOpe}_{\iota}}$，使得其与区间对象 $I$ 同构于乘积？
• RQ3 $\iota$-态射（收缩态射）是否以支持同伦建模的方式保持欧佩托普的定义域与余定义域结构？
• RQ4 沿 $\kappa: {\bf pOpe} \to {\bf pOpe}_{\iota}$ 的柱函子左凯南扩张是否足以确保 ${\bf Cyl}_{\iota}(P)$ 是一个直线对象？
• RQ5 ${\bf pOpe}_{\iota}$ 能否作为建模同伦类型的范畴基础，其预层范畴类似于 $\Delta$？

主要发现

• 带有收缩态射的正欧佩托普类别 ${\bf pOpe}_{\iota}$ 是一个测试范畴，因其满足建模同伦类型的必要条件。
• 在 $\widehat{{\bf pOpe}_{\iota}}$ 中，柱函子 ${\bf Cyl}_{\iota}(P)$ 同构于乘积 $I \times P$，其中 $I$ 为一维欧佩托普，确认了乘积结构。
• 沿 $\kappa: {\bf pOpe} \to {\bf pOpe}_{\iota}$ 的柱函子左凯南扩张保持了列极限、表示对象与单射，确保了扩张的良行为。
• ${\bf Cyl}_p(P)$ 是 $\widehat{{\bf pOpe}}$ 中的直线对象，这是测试范畴性质的关键要求。
• 在柱的面上定义的映射 $H$ 保持了定义域与余定义域，并在面集上诱导双射，确保与乘积结构的兼容性。
• ${\bf pHg}_{\iota}$ 到 $\widehat{{\bf pOpe}_{\iota}}$ 的嵌入在同态集上是全的，这使得柱函子的普遍性质可提升至预层范畴。