A homotopy coherent nerve for $(\infty,n)$-categories

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Moser, Lyne, Rasekh, Nima, Rovelli, Martina
Natura: Preprint
Pubblicazione: 2022
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866913223355138048
author Moser, Lyne
Rasekh, Nima
Rovelli, Martina
author_facet Moser, Lyne
Rasekh, Nima
Rovelli, Martina
contents 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.
format Preprint
id arxiv_https___arxiv_org_abs_2208_02745
institution arXiv
publishDate 2022
record_format arxiv
spellingShingle A homotopy coherent nerve for $(\infty,n)$-categories
Moser, Lyne
Rasekh, Nima
Rovelli, Martina
Algebraic Topology
Category Theory
18N65, 55U35, 18N50
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.
title A homotopy coherent nerve for $(\infty,n)$-categories
topic Algebraic Topology
Category Theory
18N65, 55U35, 18N50
url https://arxiv.org/abs/2208.02745