Schreiber path ∞-groupoid

See

• cohesive (∞,1)-topos

• fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos.

for the general theory and

• Disc∞Grpd

• ETop∞Grpd

• Smooth∞Grpd

• SynthDiff∞Grpd

for examples.