# Fundamental groupoid

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A groupoid (a category in which all morphisms are isomorphisms) defined from a topological space $X$; the objects are the points of $X$, and the morphisms from an object $x_0$ to $x_1$ are the homotopy classes $\mathrm{rel} \{0,1\}$ of paths starting at $x_0$ and ending at $x_1$; composition is the product of classes of paths. The group of automorphisms of an object $x_0$ is the same as the fundamental group $\pi_1(X,x_0)$.