lifting criterion for continuous maps

Overview

Given a cover and a continuous map from a topological space to the base, a natural question to ask would be if the map can be lifted to the cover.

Statement

Let be a continuous map of pointed spaces and a cover.

There exists a lift of to if and only if is a subgroup of (the induced subgroup from cover).

Consider the following diagram:

Proof

todo