In algebraic topology, the fundamental groupoid is a generalization of the fundamental group. While the fundamental group is associated with a single point in a space and considers loops based at that point, the fundamental groupoid captures the idea of paths and homotopies between points in a topological space. ### Definition 1. **Topological Space**: Given a topological space \( X \), we consider all its points.
New to topics? Read the docs here!