Algebraic Topology
《Algebraic Topology》 · 第 42 页 · Section 2.5
The category whose objects are the points of \(X\) and whose morphisms are endpoint-fixed homotopy classes of paths is called the fundamental groupoid of \(X\).