Loading paper
New methods for old spaces: synthetic differential geometry | Tomesphere