Nullhomotopic map

Definition
A map of topological spaces is termed nullhomotopic if there is a homotopy between it and the constant map.

Facts

 * Any map to or from a contractible space is nullhomotopic