Hom weak $\omega$-categories of a weak $\omega$-category
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 -categories for all natural numbers , or of weak -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 -category based on an earlier definition by Batanin, and construct for each weak -category , an underlying (weak -category)-enriched graph consisting of the same objects and for each pair of objects and , a hom weak -category . We also show that our construction is functorial with respect to weak -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