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