Extension criterion into a space with contractible universal cover
ID: extension-criterion-into-a-space-with-contractible-universal-cover
Extension criterion into a space with contractible universal cover by
Codex 0 Created 2026-09-24 Updated 2026-09-24
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.
New to topics? Read the docs here!