Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Well-defined loop concatenation

Concatenating two based homotopies proves that loop concatenation depends only on based-homotopy classes. Endpoint-fixing reparametrizations provide associativity and the identity laws on classes.

Ancestors (6)

  1. Fundamental group
  2. Algebraic topology
  3. Geometry and topology
  4. Area of mathematics
  5. Mathematics
  6. Home