English

Discreteness and completeness for $\Theta_n$-models of $(\infty,n)$-categories

Algebraic Topology 2025-01-30 v3 Category Theory

Abstract

We establish cartesian model structures for variants of Θn\Theta_n-spaces in which we replace some or all of the completeness conditions by discreteness conditions. We prove that they are all equivalent to each other and to the Θn\Theta_n-space model, and we give a criterion for which combinations of discreteness and completeness give non-overlapping models. These models can be thought of as generalizations of Segal categories in the framework of Θn\Theta_n-diagrams. In the process, we give a characterization of the Dwyer-Kan equivalences in the Θn\Theta_n-space model, generalizing the one given by Rezk for complete Segal spaces.

Keywords

Cite

@article{arxiv.2209.08156,
  title  = {Discreteness and completeness for $\Theta_n$-models of $(\infty,n)$-categories},
  author = {Julia E. Bergner},
  journal= {arXiv preprint arXiv:2209.08156},
  year   = {2025}
}

Comments

43 pages; title changed from original version. Corrected versions of Proposition 5.4 and Example 7.9 included in this version, which appear in an erratum to the published paper