A homotopy coherent nerve for $(\infty,n)$-categories
In the case of $(\infty,1)$-categories, the homotopy coherent nerve gives a right Quillen equivalence between the models of simplicially enriched categories and of quasi-categories. This shows that homotopy coherent diagrams of $(\infty,1)$-categories can equivalently be defined as functors of quasi...
Gespeichert in:
Hauptverfasser: | , , |
---|---|
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | In the case of $(\infty,1)$-categories, the homotopy coherent nerve gives a
right Quillen equivalence between the models of simplicially enriched
categories and of quasi-categories. This shows that homotopy coherent diagrams
of $(\infty,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
$(\infty,n)$-categories. We show that it realizes a right Quillen equivalence
between the models of categories strictly enriched in $(\infty,n-1)$-categories
and of Segal category objects in $(\infty,n-1)$-categories. This similarly
enables us to define homotopy coherent diagrams of $(\infty,n)$-categories
equivalently as functors of Segal category objects or as strictly enriched
functors out of the homotopy coherent categorifications. |
---|---|
DOI: | 10.48550/arxiv.2208.02745 |