The fundamental group of a topos
internal version of Grothendieck fundamental group
scientific article; zbMATH DE number 3817952