  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.
