Notice that Quillen's Q-construction can be carried out in a non-abelian category as well. Does anyone know what kind of classifying space one gets applying Q-construction to an arbitrary topos? ( The answer for Sets is well-known and nontrivial: stable homotopy type of spheres ). Thanks in advance. =========================================================================