Grothendieck's yoga of the fundamental groupoid topos

GPTKB entity