强 Steiner $\omega$-范畴的范畴刻画

Dimitri Ara; Andrea Gagna; Viktoriya Ozornova; Martina Rovelli

强 Steiner $\omega$-范畴的范畴刻画

范畴论 2023-04-05 v2 代数拓扑

作者: Dimitri Ara , Andrea Gagna , Viktoriya Ozornova , Martina Rovelli

摘要

强 Steiner $\omega$ -范畴是一类以链复数形式允许代数模型的 $\omega$ -范畴，其形式主义允许进行若干显式计算。定义强 Steiner $\omega$ -范畴的条件传统上以相关联的链复数表示，使其与 $\omega$ -范畴的直觉有些脱节。本文的目的是将此类刻画为满足无环条件的 polygraphs 类，该条件不显式使用相关联的链复数，而是依赖于 $\omega$ -范畴的范畴特性。

关键词

强 Steiner $\omega$-范畴链复数 polygraphs 无环条件范畴刻画

引用

@article{arxiv.2204.12962,
  title  = {A categorical characterization of strong Steiner $\omega$-categories},
  author = {Dimitri Ara and Andrea Gagna and Viktoriya Ozornova and Martina Rovelli},
  journal= {arXiv preprint arXiv:2204.12962},
  year   = {2023}
}

备注

27 pages, v2: final version

强 Steiner $\omega$-范畴的范畴刻画

摘要

关键词

引用

备注

相关论文