Nerves and cones of free loop-free ?-categories

被引：0
|
作者：
Gagna, Andrea [1 ]
Ozornova, Viktoriya [2 ]
Rovelli, Martina [3 ]
机构：
[1] Czech Acad Sci, Inst Math, Prague, Czech Republic
[2] Max Planck Inst Math, Bonn, Germany
[3] Univ Massachusetts, Dept Math & Stat, Amherst, MA USA
来源：
TUNISIAN JOURNAL OF MATHEMATICS | 2023年 / 5卷 / 02期
关键词：
-categories; (8; 8)-categories; cone; nerve; complicial set; augmented directed chain complexes; ALGEBRA; SETS;
D O I：
10.2140/tunis.2023.5.273
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We show that the complicial nerve construction is homotopically compatible with two flavors of cone constructions when starting with an w-category that is suitably free and loop-free. An instance of the result recovers the fact that the standard m-simplex is equivalent to the complicial nerve of the m-oriental.
引用
收藏
页码：273 / 326
页数：56
相关论文
共 50 条
  • [1] Synthesis of Loop-free Programs
    Gulwani, Sumit
    Jha, Susmit
    Tiwari, Ashish
    Venkatesan, Ramarathnam
    [J]. PLDI 11: PROCEEDINGS OF THE 2011 ACM CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2011, : 62 - 73
  • [2] Synthesis of Loop-free Programs
    Gulwani, Sumit
    Jha, Susmit
    Tiwari, Ashish
    Venkatesan, Ramarathnam
    [J]. ACM SIGPLAN NOTICES, 2011, 46 (06) : 62 - 73
  • [3] Stabilization of loop-free redundant routing
    Cobb, Jorge A.
    [J]. STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, 4838 : 154 - 172
  • [4] LOOP-FREE THRESHOLD ELEMENT STRUCTURES
    MOW, CW
    FU, KS
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1969, C 18 (03) : 257 - +
  • [5] LOOP-FREE STRUCTURE OF SEQUENTIAL MACHINES
    HARTMANIS, J
    [J]. INFORMATION AND CONTROL, 1962, 5 (01): : 25 - &
  • [6] Efficient computation of loop-free alternates
    Geng, Haijun
    Zhang, Han
    Shi, Xingang
    Wang, Zhiliang
    Yin, Xia
    [J]. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2020, 151
  • [7] Stabilization of general loop-free routing
    Cobb, JA
    Gouda, MG
    [J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2002, 62 (05) : 922 - 944
  • [8] Loop-Free Convergence With Unordered Updates
    Robertson, Glenn
    Roy, Nirupam
    Penumarthi, Phani Krishna
    Nelakuditi, Srihari
    O'Kane, Jason M.
    [J]. IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, 2017, 14 (02): : 373 - 385
  • [9] A scalable and loop-free multicast Internet protocol
    Parsa, M
    GarciaLunaAceves, JJ
    [J]. MULTIMEDIA COMPUTING AND NETWORKING 1997, 1997, 3020 : 2 - 16
  • [10] Loop-free calculus for modal logic . II
    Andrikonis, Julius
    [J]. LITHUANIAN MATHEMATICAL JOURNAL, 2012, 52 (02) : 123 - 133
12345