33
$\begingroup$

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 principal $G$ bundles.

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

Improve this question
$\endgroup$
5
  • 1
    $\begingroup$ 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. $\endgroup$
    – some guy on the street
    Commented May 7, 2010 at 14:38
  • 2
    $\begingroup$ 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. $\endgroup$
    – villemoes
    Commented May 7, 2010 at 15:31
  • 1
    $\begingroup$ 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... $\endgroup$
    – Peter Arndt
    Commented May 7, 2010 at 16:50
  • $\begingroup$ 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. $\endgroup$
    – Don Stanley
    Commented May 7, 2010 at 21:43
  • 5
    $\begingroup$ @PeterArndt: Michael Weiss gives a reference to Moerdijk's book in his paper and discusses the relationship between his result and Moerdijk's (they are not identical), so I don't think that the existence of Weiss's paper is astonishing. $\endgroup$
    – Dmitri Pavlov
    Commented Nov 11, 2013 at 11:19

2 Answers 2

Reset to default
26
$\begingroup$

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 $\mathsf{Sets}$. Likewise a $\mathcal C$-bundle for a category $\mathcal C$ is a map whose fibers are functors from $\mathcal C$ to $\mathsf{Sets}$, or, if you want, a disjoint union of sets (one for each object of $\mathcal C$) and an action by the morphisms of $\mathcal C$ — a morphism $A \to B$ in $\mathcal 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.

Improve this answer
$\endgroup$
1
  • 2
    $\begingroup$ 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}$.) $\endgroup$
    – Matthew Morrow
    Commented May 7, 2010 at 22:39
12
$\begingroup$

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

Improve this answer
$\endgroup$
1
  • $\begingroup$ I will look at this too. $\endgroup$
    – Don Stanley
    Commented May 7, 2010 at 15:23

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .