Rectification of enriched infinity-categories
Research output: Contribution to journal › Journal article › Research › peer-review
Standard
Rectification of enriched infinity-categories. / Haugseng, Rune.
In: Algebraic & Geometric Topology, Vol. 15, 2015, p. 1931–1982.Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - JOUR
T1 - Rectification of enriched infinity-categories
AU - Haugseng, Rune
PY - 2015
Y1 - 2015
N2 - We prove a rectification theorem for enriched infinity-categories: If V is a nice monoidal model category, we show that the homotopy theory of infinity-categories enriched in V is equivalent to the familiar homotopy theory of categories strictly enriched in V. It follows, for example, that infinity-categories enriched in spectra or chain complexes are equivalent to spectral categories and dg-categories. A similar method gives a comparison result for enriched Segal categories, which implies that the homotopy theories of n-categories and (infinity,n)-categories defined by iterated infinity-categorical enrichment are equivalent to those of more familiar versions of these objects. In the latter case we also include a direct comparison with complete n-fold Segal spaces. Along the way we prove a comparison result for fibrewise simplicial localizations potentially of independent use.
AB - We prove a rectification theorem for enriched infinity-categories: If V is a nice monoidal model category, we show that the homotopy theory of infinity-categories enriched in V is equivalent to the familiar homotopy theory of categories strictly enriched in V. It follows, for example, that infinity-categories enriched in spectra or chain complexes are equivalent to spectral categories and dg-categories. A similar method gives a comparison result for enriched Segal categories, which implies that the homotopy theories of n-categories and (infinity,n)-categories defined by iterated infinity-categorical enrichment are equivalent to those of more familiar versions of these objects. In the latter case we also include a direct comparison with complete n-fold Segal spaces. Along the way we prove a comparison result for fibrewise simplicial localizations potentially of independent use.
KW - math.AT
KW - math.CT
KW - 18D20, 18D50, 55P48, 55U35
U2 - 10.2140/agt.2015.15.1931
DO - 10.2140/agt.2015.15.1931
M3 - Journal article
VL - 15
SP - 1931
EP - 1982
JO - Algebraic and Geometric Topology
JF - Algebraic and Geometric Topology
SN - 1472-2747
ER -
ID: 145773352