Fundamental Groupoid

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