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 条
  • [41] HOM-ASSOCIATIVE ORE EXTENSIONS AND WEAK UNITALIZATIONS
    Back, Per
    Richter, Johan
    Silvestrov, Sergei
    INTERNATIONAL ELECTRONIC JOURNAL OF ALGEBRA, 2018, 24 : 174 - 194
  • [42] WEAK HOPF ALGEBRA DUALITY IN WEAK YETTER-DRINFELD CATEGORIES AND APPLICATIONS
    Shen, Bing-Liang
    Wang, Shuan-Hong
    INTERNATIONAL ELECTRONIC JOURNAL OF ALGEBRA, 2009, 6 : 74 - 94
  • [43] Weak Rickart and dual weak Rickart objects in abelian categories: transfer via functors
    Crivei, Septimiu
    Tutuncu, Derya Keskin
    Olteanu, Gabriela
    BULLETIN MATHEMATIQUE DE LA SOCIETE DES SCIENCES MATHEMATIQUES DE ROUMANIE, 2023, 66 (02): : 189 - 207
  • [44] WEAK ω-CATEGORIES FROM INTENSIONAL TYPE THEORY
    Lumsdaine, Peter Lefanu
    LOGICAL METHODS IN COMPUTER SCIENCE, 2010, 6 (03)
  • [45] Weak Hopf monoids in braided monoidal categories
    Pastro, Craig
    Street, Ross
    ALGEBRA & NUMBER THEORY, 2009, 3 (02) : 149 - 207
  • [46] A cartesian presentation of weak n-categories
    Rezk, Charles
    GEOMETRY & TOPOLOGY, 2010, 14 (01): : 521 - 571
  • [47] WEAK MODEL CATEGORIES IN CLASSICAL AND CONSTRUCTIVE MATHEMATICS
    Henry, Simon
    THEORY AND APPLICATIONS OF CATEGORIES, 2020, 35 : 875 - 958
  • [48] Subdirect Products of Preadditive Categories and Weak Equivalences
    Alberto Facchini
    Rogelio Fernández-Alonso
    Applied Categorical Structures, 2008, 16 : 103 - 122
  • [49] Grammatical categories: Strong and weak pronouns in Romance
    Manzini, M. Rita
    LINGUA, 2014, 150 : 171 - 201
  • [50] Weak ω-Categories from Intensional Type Theory
    Lumsdaine, Peter LeFanu
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2009, 5608 : 172 - 187