English

Hammocks and fractions in relative $\infty$-categories

Algebraic Topology 2015-10-15 v1 Category Theory

Abstract

We study the *homotopy theory* of \infty-categories enriched in the \infty-category sSsS of simplicial spaces. That is, we consider sSsS-enriched \infty-categories as presentations of ordinary \infty-categories by means of a "local" geometric realization functor CatsSCatCat_{sS} \to Cat_\infty, and we prove that their homotopy theory presents the \infty-category of \infty-categories, i.e. that this functor induces an equivalence CatsS[[WDK1]]CatCat_{sS} [[ W_{DK}^{-1} ]] \xrightarrow{\sim} Cat_\infty from a localization of the \infty-category of sSsS-enriched \infty-categories. Following Dwyer--Kan, we define a *hammock localization* functor from relative \infty-categories to sSsS-enriched \infty-categories, thus providing a rich source of examples of sSsS-enriched \infty-categories. Simultaneously unpacking and generalizing one of their key results, we prove that given a relative \infty-category admitting a *homotopical three-arrow calculus*, one can explicitly describe the hom-spaces in the \infty-category presented by its hammock localization in a much more explicit and accessible way. As an application of this framework, we give sufficient conditions for the Rezk nerve of a relative \infty-category to be a (complete) Segal space, generalizing joint work with Low.

Keywords

Cite

@article{arxiv.1510.03961,
  title  = {Hammocks and fractions in relative $\infty$-categories},
  author = {Aaron Mazel-Gee},
  journal= {arXiv preprint arXiv:1510.03961},
  year   = {2015}
}