Grothendieck's yoga of the fundamental groupoid functor

GPTKB entity