English

Hom weak $\omega$-categories of a weak $\omega$-category

Category Theory 2021-11-02 v1

Abstract

Classical definitions of weak higher-dimensional categories are given inductively; for example, a bicategory has a set of objects and hom categories, and a tricategory has a set of objects and hom bicategories. However, more recent definitions of weak nn-categories for all natural numbers nn, or of weak ω\omega-categories, take more sophisticated approaches, and the nature of the "hom" is often not immediate from the definitions. In this paper, we focus on Leinster's definition of weak ω\omega-category based on an earlier definition by Batanin, and construct for each weak ω\omega-category A\mathcal{A}, an underlying (weak ω\omega-category)-enriched graph consisting of the same objects and for each pair of objects xx and yy, a hom weak ω\omega-category A(x,y)\mathcal{A}(x,y). We also show that our construction is functorial with respect to weak ω\omega-functors introduced by Garner.

Keywords

Cite

@article{arxiv.2111.00439,
  title  = {Hom weak $\omega$-categories of a weak $\omega$-category},
  author = {Thomas Cottrell and Soichiro Fujii},
  journal= {arXiv preprint arXiv:2111.00439},
  year   = {2021}
}

Comments

16 pages