Hom weak ω-categories of a weak ω-category

被引:0
|
作者
Cottrell, Thomas [1 ]
Fujii, Soichiro [2 ]
机构
[1] Univ Bath, Dept Math Sci, Bath BA2 7AY, Avon, England
[2] Kyoto Univ, Res Inst Math Sci, Kyoto, Japan
关键词
Weak omega-category; weak omega-groupoid; weak w-functor; operad; intensional Martin-Lof type theory; identity type;
D O I
10.1017/S0960129522000111
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Classical definitions of weak higher-dimensional categories are given inductively, for example, a bicategory has a set of objects and horn categories, and a tricategory has a set of objects and hom bicategories. However, more recent definitions of weak n-categories for all natural numbers n, or of weak w-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, an underlying (weak omega-category)-enriched graph consisting of the same objects and for each pair of objects x and y, a hom weak omega-category A(x, y). We also show that our construction is functorial with respect to weak omega-functors introduced by Garner.
引用
收藏
页码:420 / 441
页数:22
相关论文
共 50 条