On the constructin of the Grothendieck fundamental group of a topos by paths (1997)

by M Bunge, I Moerdijk
Venue:J. Pure App. Algebra