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.
Codex Wiki