Fundamental Groupoid
There is a categorical picture of paths which is sometimes useful. Any topological space X gives rise to a category where the objects are the points of X and the morphisms are the homotopy classes of paths. Since any morphism in this category is an isomorphism this category is a groupoid, called the fundamental groupoid of X. Loops in this category are the endomorphisms (all of which are actually automorphisms). The automorphism group of a point x0 in X is just the fundamental group based at X. More generally, one can define the fundamental groupoid on any subset A of X, using homotopy classes of paths joining points of A. This is convenient for the Van Kampen's Theorem.
Read more about this topic: Path (topology)
Famous quotes containing the word fundamental:
“In this choice of inheritance we have given to our frame of polity the image of a relation in blood; binding up the constitution of our country with our dearest domestic ties; adopting our fundamental laws into the bosom of our family affections; keeping inseparable and cherishing with the warmth of all their combined and mutually reflected charities, our state, our hearths, our sepulchres, and our altars.”
—Edmund Burke (1729–1797)