P. Giordano, M. Kunzinger, H. Vernaeve, A Grothendieck topos of generalized functions I: basic theory Dissertationes Mathematicae 592 (2024).
Disclaimer. Preprints on arXiv are the latest drafts of the
papers. Substantial differences with the published
version may exist.