On the profinite fundamental group of a connected Grothendieck topos

Clemens Berger, Victor Iwaniack

We show that finite (i.e. locally finite and decomposition-finite) objects of a connected Grothendieck topos span a Boolean pretopos with an essentially unique Galois point. The au…