Internal absolute geometry I: desingularization

Karsten Bohlen

We introduce an axiomatization of Grothendieck sites with additional structure, and we describe sheaves that reconstruct groupoids which are internal to the site structure. This se…