Codex Wiki OurBigBook logoOurBigBook.comSite Source code
Let have contractible universal cover, let be a path-connected simplicial complex, and let . A map extends to exactly when its induced fundamental-group map factors through . The factorization kills every 2-simplex boundary; all higher-dimensional boundary maps lift to the contractible universal cover and are null-homotopic.

Ancestors (7)

  1. Universal cover
  2. Covering space
  3. Algebraic topology
  4. Geometry and topology
  5. Area of mathematics
  6. Mathematics
  7. Home