The groupoidal analogue Theta~ to Joyal's category Theta is a test category
Algebraic Topology
2020-09-07 v3 Category Theory
Abstract
We introduce the groupoidal analogue \tilde\Theta to Joyal's cell category \Theta and we prove that \tilde\Theta is a strict test category in the sense of Grothendieck. This implies that presheaves on \tilde\Theta model homotopy types in a canonical way. We also prove that the canonical functor from \Theta to \tilde\Theta is aspherical, again in the sense of Grothendieck. This allows us to compare weak equivalences of presheaves on \tilde\Theta to weak equivalences of presheaves on \Theta. Our proofs apply to other categories analogous to \Theta.
Keywords
Cite
@article{arxiv.1012.4319,
title = {The groupoidal analogue Theta~ to Joyal's category Theta is a test category},
author = {Dimitri Ara},
journal= {arXiv preprint arXiv:1012.4319},
year = {2020}
}
Comments
41 pages, v2: references added, Remark 7.3 added, v3: metadata updated