Homotopy types of topological stacks of categories (2204.02778v3)

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.