Grothendieck's yoga of the fundamental groupoid gerbe

GPTKB entity