[论文解读] On positive face structures and positive-to-one computads

Marek Zawadowski|arXiv (Cornell University)|Aug 20, 2007

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

一句话总结

本文引入正面对结构，为一对一正向计算复形提供组合框架，表明其构成以主正面对结构为底范畴的预层范畴。研究证明ω-范畴在一对一正向计算复形上具有单子性，且自由函子可被实现为包含映射，从而在结构上类比于简单图与自由ω-范畴的关系。

ABSTRACT

We introduce the notion of a positive face structure. The positive face structures to positive-to-one computads are like simple graphs, to free omega-categories over omega-graphs. In particular, they allow to give an explicit combinatorial description of positive-to-one computads. Using this description we show, among other things, that positive-to-one computads form a presheaf category with the exponent category being the category of principal positive face structures. We also present the Harnik argument in this context showing that the omega-categories are monadic over positive-to-one computads with the 'free functor' being the inclusion.

研究动机与目标

• 开发一种组合框架，利用正面对结构理解一对一正向计算复形。
• 确立一对一正向计算复形构成一个预层范畴，其指数范畴为基本正面对结构的范畴。
• 在一对一正向计算复形的背景下推广Harnik论证，以证明ω-范畴在这些结构上的单子性。

提出的方法

• 将正面对结构定义为建模一对一正向计算复形中面关系的组合工具。
• 利用正面对结构，对一对一正向计算复形给出显式且构造性的描述。
• 证明一对一正向计算复形的范畴与以基本正面对结构范畴为底的预层范畴等价。
• 应用Harnik论证，证明从ω-范畴到一对一正向计算复形的遗忘函子是单子的。
• 表明从一对一正向计算复形到ω-范畴的“自由函子”即为包含函子。
• 建立简单图与自由ω-范畴之间，以及正面对结构与一对一正向计算复形之间的结构类比。

实验结果

研究问题

• RQ1 如何定义正面对结构，以提供一对一正向计算复形的组合描述？
• RQ2 一对一正向计算复形的范畴具有何种范畴结构，其与预层范畴有何关联？
• RQ3 从ω-范畴到一对一正向计算复形的遗忘函子是否为单子的？若是，包含函子在此情境中起何作用？
• RQ4 Harnik论证在一对一正向计算复形的设定下如何应用，以确立单子性？
• RQ5 简单图与自由ω-范畴之间，以及正面对结构与一对一正向计算复形之间，存在何种结构类比？

主要发现

• 一对一正向计算复形构成一个预层范畴，其指数范畴为基本正面对结构的范畴。
• 一对一正向计算复形的范畴可通过正面对结构获得显式的组合描述。
• 从ω-范畴到一对一正向计算复形的遗忘函子是单子的。
• 从一对一正向计算复形到ω-范畴的“自由函子”被实现为包含函子。
• Harnik论证成功地被适配到此设定中，确认了单子性。
• 建立了简单图与自由ω-范畴之间，以及正面对结构与一对一正向计算复形之间的结构类比。