The fundamental groupoid of a space is the Category with objects being the points of and morphisms are Homotopy classes of paths from to This is a Groupoid by a proof similar to Fundamental group