Extension criterion into a space with contractible universal cover

ID: extension-criterion-into-a-space-with-contractible-universal-cover

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!