A Grothendieck topos of generalized functions I: basic theory. - Giordano, Paolo; Kunzinger, Michael; Vernaeve, Hans (Dissertationes Mathematicae, 2024)