add the sketch of the Groupoid structure at level 0