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


The classical statement of the recognition principle (after Boardman, Vogt, Milgram and May) that I know is:

Let $X$ be a (group-like) topological space acted on by the little $n$-discs operad, then $X$ is (weakly) homotopy equivalent (as an algebra over the little discs operad) to an $n$-fold loop space.

In particular, the theorem leaves me unsatisfied since there are some spaces which have the homotopy type of an $n$-fold loop space but which are not acted on by the little discs operad.

The "right" statement of the recognition principle should be a statement inside the homotopy category (of spaces and operads), but I have never seen it stated properly.

Does it appear somewhere? Also, is there a modern version of P. May's proof that appears in the geometry of iterated loop spaces?



share|cite|improve this question
In "the geometry of iterated loop spaces", the main theorem is stated in a way that allows for operads that are not necessarily isomorphic to the little n-cubes operad, but only homotopy equivalent to it. – André Henriques Nov 25 '10 at 17:38

Your Answer


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

Browse other questions tagged or ask your own question.