共 50 条
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
相关论文