MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

## What does the classifying space of a category classify?

A finite group $G$ can be considered as a category with one object. Taking its nerve $NG$, and then geometrically realizing we get $BG$ the classifying space of $G$, which classifies principle $G$ bundles.

Instead starting with any category $C$, what does $NC$ classify? (Either before or after taking realization.) Does it classify something reasonable?

-
Have sometimes wondered! Don't know; but note that another way to say "principle G-bundle" is "Sheaf of G-torsors"; unless C is a groupoid (and even then) it's difficult to imagine what's the right notion for Torsor; one day should read HTT and see how the multi-object picture works. BG also comes with a natural principle bundle $EG\to BG$ with $EG$ contractible as a space --- it's easy to build a contractible space mimicking the group construction, but describing a good map to $BG$ is again difficult without significant assumptions. – some guy on the street May 7 2010 at 14:38
I suppose you already know the paper by Michael Weiss (MR2175298, Homology Homotopy Appl. 7 (2005), no. 1, 185--195) whose title is exactly the title of your question. – villemoes May 7 2010 at 15:31
I just took a look at the MathReview and am astonished - the result as stated there is completely contained in the book by Moerdijk which is 10 years older... – Peter Arndt May 7 2010 at 16:50
I don't know the paper of Michael Weiss, however when I was writing the title of this question I had the feeling I have read this title before. So probably I at least read the title of that paper. – Don Stanley May 7 2010 at 21:43

Ieke Moerdijk has written a small Springer Lecture Notes tome addressing this question:"Classifying Spaces and Classifying Topoi" SLNM 1616.

Roughly the answer is: A G-bundle is a map whose fibers have a G-action, i.e. are G-sets (if they are discrete), i.e. they are functors from G seen as a category to Sets. Likewise a C-bundle for a category C is a map whose fibers are functors from C to sets, or, if you want, a disjoint union of sets (one for each object of C) and an action by the morphisms of C - a morphism A-->B in C takes elements of the set corresponding to A to elements of the set corresponding to B.

There is a completely analogous version for topological categories also.

-
Thank you. I will look at this. – Don Stanley May 7 2010 at 15:23
While recently reading V. Srinvas book "Algebraic K-theory", I learned the following (lemma 6.1), which is contained in what Peter says: The category of covering spaces of $BC$ is naturally equivalent to the category of functors $F:C\to\mbox{Sets}$ for which $F(f)$ is an isomorphism for every morphism $f$ in $C$. (Via the usual fibre construction: Fix a covering space. Then each object $X$ in $C$ gives a point of $BC$, and taking the fibre in the covering space gives a set; this gives the functor $C\to \mbox{Sets}$.) – Matthew Morrow May 7 2010 at 22:39

It's one level up the categorical ladder, but you may find this paper interesting:

http://arxiv.org/abs/math/0612549
Two-Categorical Bundles and Their Classifying Spaces
Authors: Nils. A. Baas, Marcel Bokstedt, Tore August Kro

-
 I will look at this too. – Don Stanley May 7 2010 at 15:23