Homotopy

Two things $a,a^{\prime }$ can be deformed to be equal if there exists a Path between one and the other.

Relation to CoC

• CoC can say that there are infinitely many of these Path defined as a function