Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

We have that $G-PBun(X)$, the category of topological principal bundles for a structure group $G$ is equivalent to $Top[X,BG]$ where $BG$ is the classifying space of $G$.

This almost looks like an adjunction - can it be turned into one?

Maybe in a higher-dimensional sense?

share|cite|improve this question
I'm not sure I understand your question. You want adjunction between what what and what? If you're talking about categories $Bun_G(X)$ and $[X,BG]$ — sure, any equivalence of categories can be refined to an adjoint equivalence. – Grigory M Jan 2 '14 at 16:00
I am talking about those two categories. But I can't see how to turn $Bun_G(X)$ into a hom-space between $FX$ and $B$ in some category, for some functor $F$. – Mozibur Ullah Jan 2 '14 at 16:05
up vote 4 down vote accepted

This is not an adjunction, but rather the statement that the $2$-functor which sends a (nice) space $X$ to its groupoid of principal $G$-bundles is representable, namely by $BG$. Actually this is the functorial definition of $BG$.

share|cite|improve this answer

There is no left adjoint of $B$ as far as I know, which seems like what youre asking for, but there is in fact a right adjoint. Let $\Omega$ denote the loop space functor sending a space $S$ to the space of based loops in $S$. Then $\Omega$ is a functor to topological monoids where based loops are composed in the obvious way and we have a natural isomorphism

$$ \operatorname{Hom}(BG, X) \cong \operatorname{Hom}(G,\Omega X) $$

where the left $\operatorname{Hom}$ is as pointed topological spaces and the right $\operatorname{Hom}$ is as topological monoids.

This no longer classifies principal $G$-bundles since were looking at maps out of $BG$ but it is an adjunction of the $B$ functor.

For a reference, see this question.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.