图表系统与广义有限类型理论
摘要：用类别论的方法推广了Goussarov定理，来处理有限类型不变量，将广义有限类型理论的生成集与对应的拓扑对象的图表系统关联起来。通过一些例子来展示这种对应关系，包括标准有限类型理论及其与钩状图的关系，关于 Δ 变换的有限类型理论以及一个新的图表系统 called looms，以及我们称为虚拟横结的组合结构的有限类型理论。Δ 变换的有限类型理论可能在解结数方面有应用，而虚拟横结理论则引发了许多有趣且困难的猜想。
作者：Cole Hugelmeyer
论文ID：2307.07661
分类：Geometric Topology
分类简称：math.GT
提交时间：2023-07-18