Fundamental Group

The fundamental group is just the first homotopy group of a pointed space $(X,x)$.

Specifically, it is the structure with:

• Objects as the equivalence class of loop in at $x$ in $X$.
• Composition is given by path concatenation.