MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

Start with a pointed $\infty$-groupoid $X$. Consider $X$ as a pointed $\infty$-category and construct the free pointed monoidal $\infty$-category $\bar{X}$. This free construction $\bar{X}$ is at least an $\infty$-groupoid too. How is the homotopy type of $\bar{X}$ related to the homotopy type of $X$?

This seems to be a James construction in the context of $\infty$-groupoids, but I can't be sure. That is, conjecturally, $\bar{X}\simeq \Omega\Sigma X$.

share|cite|improve this question
I think your formula isn't quite right: consider the case $X=S^0$. The problem is that $\Omega\Sigma X$ is group-like while $\overline{X}$ is not. But it's direct to show that the group completion of $\overline{X}$ is indeed computed by $\Omega\Sigma X$. – Moosbrugger Nov 4 '11 at 15:14
I think "pointed monoidal" is redundant -- isn't every monoidal category uniquely pointed by its unit object? – Mike Shulman Nov 4 '11 at 23:35
Moosbrugger, does "computed by" mean "homotopic to"? – user2529 Nov 5 '11 at 5:51
The theory of infinity-groupoids should be equivalent to the theory of spaces- they're just Kan complexes. So shouldn't the James construction for infinity-groupoids just be... the usual James construction for spaces? – Dylan Wilson Nov 5 '11 at 21:00

Your Answer


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