MathOverflow is a question and answer site for professional mathematicians. 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

I am trying to understand the relationship between the simplicial path space and loop space with the path space of a topological space, and the loop space of a topological space.

I have understood that the simplicial path space of a simplicial object $A$ is homotopy equivalent to the constant simplicial object $A_0$ but I feel I should be able to say more.

Any help would be greatly appreciated,

share|cite|improve this question
up vote 3 down vote accepted

I'll refer to my ancient book "Simplicial objects in algebraic topology". It is best to restrict to Kan complexes $K$ with a single vertex. In 23.3 and 23.4, it is shown that the path projection $PK \to K$ is a particularly nice kind of simplicial bundle provided that its fiber $L(K)$ is a simplicial group, which usually fails. The Kan loop group (Section 26) $G(K)$ substitutes for $L(K)$. It is the fiber of a different simplicial bundle over $K$ with a contractible total space. The geometric realization of this bundle is equivalent to the path space fibration of the realization $|K|$.

share|cite|improve this answer

Have you considered the sequence Omega X --> PX --> X in the two categories where Omega denotes based loop space and P based path space

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.