无偏幺半范畴中图式演算的无穷模型
范畴论
2023-04-10 v1
摘要
由所谓幺半范畴（及其辫子与对称衍生范畴）的“弦图”表示的态射性质——主要是其对同位形变的值不变性——自Joyal与Street于1991年严格建立图与张量范畴的对应以来，已使图式演算在范畴论中的使用变得普遍。然而，我们认为对现有幺半范畴及其图理论作某些补充十分重要，目标是推广到所谓“无穷幺半范畴”。最关键的是，我们采用一种本质抵抗同位形变的结构，从而以范畴细节取代拓扑细节。在此过程中，我们将无穷张量积与超限复合连贯地引入图式形式体系。
引用
@article{arxiv.2304.03725,
title = {An Infinitary Model of Diagrammatic Calculus in Unbiased Monoidal Categories},
author = {Vihaan Dheer},
journal= {arXiv preprint arXiv:2304.03725},
year = {2023}
}
备注
25 pages