双对偶性与有限跨度的普适性
代数拓扑
2020-07-15 v2
摘要
延续 Hopkins 和 Lurie 发展的双对偶性与高阶半加性概念,我们证明了 -有限空间的 span -范畴是由单个对象生成的自由 -半加性 -范畴。过渡到可表 -范畴,我们利用 -交换幺半群的新概念得到了自由可表 -半加性 -范畴的刻画,该概念可描述为其中由 -有限空间参数化的点族可以被相干求和的空间。这种抽象求和过程可用于给出 Freed、Hopkins、Lurie 和 Teleman 在 1 维拓扑场论背景下描述的有限路径积分的形式化 -范畴定义。
引用
@article{arxiv.1703.09764,
title = {Ambidexterity and the universality of finite spans},
author = {Yonatan Harpaz},
journal= {arXiv preprint arXiv:1703.09764},
year = {2020}
}