Homotopy types of topological stacks of categories
Abstract
This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories induces a homotopy equivalence of classifying spaces. It follows from this that we can associate a 2-functorial homotopy type to a wide class of topological stacks of categories, taking values in the 2-category of spaces, continuous maps and homotopy classes of homotopies of maps. This generalises work of Noohi and Ebert on the homotopy types of topological stacks of groupoids under the restriction to the site with numerable open covers.
Keywords
Cite
@article{arxiv.2204.02778,
title = {Homotopy types of topological stacks of categories},
author = {David Michael Roberts},
journal= {arXiv preprint arXiv:2204.02778},
year = {2024}
}
Comments
11 pages. This article was more-or-less complete in 2008, but has languished in obscurity and needed a stable home. I have added a postscript framing the application using more recent results; v2 title change, updated abstract and corrected proof of main theorem---13 pages; v3 final version to appear in NYJM---17 pages