Fundamental groupoid

In algebraic topology, the fundamental groupoid is a certain topological invariant of a topological space. It can be viewed as an extension of the more widely-known fundamental group; as such, it captures information about the homotopy type of a topological space. In terms of , the fundamental groupoid is a certain functor from the category of topological spaces to the category of groupoids. Let X be a topological space. Consider the equivalence relation on continuous paths in X in which two continuous paths are equivalent if they are homotopic with fixed endpoints. The fundamental groupoid assigns to each ordered pair of points (p, q) in X the collection of equivalence classes of continuous paths from p to q. More generally, the fundamental groupoid of X on a set S restricts the fundamental groupoid to the points which lie in both X and S. This allows for a generalisation of the Van Kampen theorem using two base points to compute the fundamental group of the circle. As suggested by its name, the fundamental groupoid of X naturally has the structure of a groupoid. In particular, it forms a category; the objects are taken to be the points of X and the collection of morphisms from p to q is the collection of equivalence classes given above. The fact that this satisfies the definition of a category amounts to the standard fact that the equivalence class of the concatenation of two paths only depends on the equivalence classes of the individual paths. Likewise, the fact that this category is a groupoid, which asserts that every morphism is invertible, amounts to the standard fact that one can reverse the orientation of a path, and the equivalence class of the resulting concatenation contains the constant path. Note that the fundamental groupoid assigns, to the ordered pair (p, p), the fundamental group of X based at p. Given a topological space X, the path-connected components of X are naturally encoded in its fundamental groupoid; the observation is that p and q are in the same path-connected component of X if and only if the collection of equivalence classes of continuous paths from p to q is nonempty.