Homotopy: Reformulating the Goal

One quickly runs into issues when using the fundamental group as a topological invariant. In fact, the fundamental group is invariant under a weaker notion, known as homotopy. Although this is not what we originally set out to find, homotopy ends up playing a crucial role in the definition of the fundamental group and can be used to explore the critical structures of a topological space.