A homotopy coherent nerve for (∞, n)-categories

被引:0
|
作者
Moser, Lyne [1 ]
Rasekh, Nima [2 ]
Rovelli, Martina [3 ]
机构
[1] Univ Regensburg, Fak Math, Regensburg, Germany
[2] Max Planck Inst Math, Bonn, Germany
[3] Univ Massachusetts Amherst, Dept Math & Stat, Amherst, MA USA
基金
美国国家科学基金会;
关键词
(infinity; n)-categories; Homotopy coherent nerve; Enriched categories; (Complete) Segal objects; QUASI-CATEGORIES; MODEL STRUCTURES;
D O I
10.1016/j.jpaa.2024.107620
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
In the case of (infinity, 1)-categories, the homotopy coherent nerve gives a right Quillen equivalence between the models of simplicially enriched categories and of quasicategories. This shows that homotopy coherent diagrams of (infinity, 1)-categories can equivalently be defined as functors of quasi-categories or as simplicially enriched functors out of the homotopy coherent categorifications. In this paper, we construct a homotopy coherent nerve for (infinity, n)-categories. We show that it realizes a right Quillen equivalence between the models of categories strictly enriched in (infinity, n - 1)-categories and of Segal category objects in (infinity, n - 1)-categories. This similarly enables us to define homotopy coherent diagrams of (infinity, n)-categories equivalently as functors of Segal category objects or as strictly enriched functors out of the homotopy coherent categorifications. (c) 2024 The Author(s). Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons .org/licenses/by/4.0/).
引用
收藏
页数:64
相关论文
共 14 条
  • [1] A homotopy coherent cellular nerve for bicategories
    Campbell, Alexander
    ADVANCES IN MATHEMATICS, 2020, 368
  • [2] Pro-categories in homotopy theory
    Barnea, Ilan
    Harpaz, Yonatan
    Horel, Geoffroy
    ALGEBRAIC AND GEOMETRIC TOPOLOGY, 2017, 17 (01): : 567 - 643
  • [3] Homotopy theory in additive categories with suspensions
    Li, Zhi-Wei
    COMMUNICATIONS IN ALGEBRA, 2021, 49 (12) : 5137 - 5170
  • [4] Symmetric powers in abstract homotopy categories
    Gorchinskiy, S.
    Guletskii, V.
    ADVANCES IN MATHEMATICS, 2016, 292 : 707 - 754
  • [5] A∞-functors and homotopy theory of dg-categories
    Faonte, Giovanni
    JOURNAL OF NONCOMMUTATIVE GEOMETRY, 2017, 11 (03) : 957 - 1000
  • [6] Morita homotopy theory for (∞, 1)-categories and ∞-operads
    Caviglia, Giovanni
    Gutierrez, Javier J.
    FORUM MATHEMATICUM, 2019, 31 (03) : 661 - 684
  • [7] Discreteness and completeness for en-models of (∞, n)-categories
    Bergner, Julia E.
    TUNISIAN JOURNAL OF MATHEMATICS, 2024, 6 (01) : 49 - 96
  • [8] AN ALGEBRAIC DEFINITION OF (∞, N)-CATEGORIES
    Kachour, Camell
    THEORY AND APPLICATIONS OF CATEGORIES, 2015, 30 : 775 - 807
  • [9] Homotopy coherent adjunctions and the formal theory of monads
    Riehl, Emily
    Verity, Dominic
    ADVANCES IN MATHEMATICS, 2016, 286 : 802 - 888
  • [10] A Quillen adjunction between globular and complicial approaches to (?, n)-categories
    Ozornova, Viktoriya
    Rovelli, Martina
    ADVANCES IN MATHEMATICS, 2023, 421