Welcome to MathOverflow

Question

17

8

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?

flag	asked May 7 2010 at 14:22 Don Stanley 787●3●10

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

1

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

Allen Knutson · Accepted Answer · 2010-05-07 18:27:43Z UTC

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.

Andrew Stacey · Answer 2 · 2010-05-07 14:39:14Z UTC

7

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

answered May 7 2010 at 14:39

Andrew Stacey
16k●1●40●110

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

What does the classifying space of a category classify?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.