# Contracting homotopy

From Topospaces

## Definition

Let be a topological space. A **contracting homotopy** for is a homotopy such that there exists a point such that:

A topological space which has a contracting homotopy is termed a contractible space.