Skip to main content
2 of 2
replaced http://mathoverflow.net/ with https://mathoverflow.net/

So, as far as I can tell, this question has a lot of high-falootin' vocabulary in it, but is actually pretty basic. It just took me a while to think about the right way. I should mention that my understanding was greatly clarified by talking to Adeel in the Homotopy Theory Chat Room.

So, basically, the $(\infty,1)$-category of cosimplicial pointed $(\infty,1)$-categories is complete. Thus, that loop space construction I give exists. What's more, taking loops of the cosimplicial $(\infty,1)$-category is done levelwise, so we end up with a cosimplicial pointed $(\infty,0)$-category which is also an associative group (both in the bigger category, and levelwise). What's important to note here is that since it has a base point, this loop space construction now loses all information about the other connected components. So, we're now essentially looking at automorphisms of the base point, and that this construction yields a cosimplicial space.

Now, it follows immediately that the delooping of this loops cosimplicial space exists. What's less obvious is that now that we've passed to the realm of spaces, we just deloop to get a space (rather than all of the non-invertible morphisms that we may have had in our connected component of the base point). One really ultimately needs to be careful about what one means by "delooping" here. Anyway, all the degree stuff works out as I indicated in the question, it's just that we lose any of the non-groupoid sorts of information (as we must, in my mind, if we want to do any kind of "taking homotopy groups" anyway).

Jonathan Beardsley
  • 10.5k
  • 1
  • 36
  • 85