Computad 的 Hom $\omega$-范畴是自由的

Thibaut Benjamin; Ioannis Markakis

Computad 的 Hom $\omega$-范畴是自由的

范畴论 2024-11-14 v3 计算机科学中的逻辑

作者: Thibaut Benjamin , Ioannis Markakis

摘要

我们给出了弱 $\omega$ -范畴上 hom 函子的新描述，并证明它拥有一个左伴随，我们称之为悬置函子。随后，我们证明 hom 函子保持了基于 computad 的自由性，这与严格 $\omega$ -范畴的 hom 函子形成对比。利用相同的技术，我们定义了关于一组维度的 $\omega$ -范畴的对偶，并证明该构造也保持了基于 computad 的自由性。最后，我们证明了对偶构造与 hom 构造是可交换的。

关键词

hom 函子弱 omega-范畴 computad 悬置函子自由范畴对偶范畴

引用

@article{arxiv.2402.01611,
  title  = {Hom $\omega$-categories of a computad are free},
  author = {Thibaut Benjamin and Ioannis Markakis},
  journal= {arXiv preprint arXiv:2402.01611},
  year   = {2024}
}

备注

45 pages, updated to change the structure of the paper, add the suspension of $\omega$-categories, change the title and abstract accordingly, add citations and correct a few typos

Computad 的 Hom $\omega$-范畴是自由的

摘要

关键词

引用

备注

相关论文