Simply connected spaces #
This file defines simply connected spaces.
A topological space is simply connected if its fundamental groupoid is equivalent to
Main theorems #
A simply connected space is one whose fundamental groupoid is equivalent to
Instances of this typeclass
In a simply connected space, any two paths are homotopic
A space is simply connected iff it is path connected, and there is at most one path
up to homotopy between any two points.