Definition. Fundamental groupoid of a category [mde-YZH4]

The left adjoint to the inclusion \(\mathbf {Grpd} \to \mathbf {Cat}\) gives the fundamental groupoid of a category.

Concretely, this left adjoint formally adds inverses to every morphism: it is the localization with respect to all morphisms.