Dans le premier numéro 2006 des Cahiers de topologie :
http://perso.wanadoo.fr/vbm-ehr/CT
un article de Anders Kock et Gonzalo Reyes sur "Distributions and heat equations in SDG" (SDG = synthetic differential geometry).
Cet article reprend la suite des travaux de Dubuc et alii depuis 25 ans dans la même revue , consistant à plonger la catégorie Mf de la géométrie différentielle "clasique" (insatisfaisante en particulier parce que ce n'est pas une catégorie cartésienne fermée) dans un "smooth topos" qui est construit comme topos des faisceaux sur un site constitué par les ouverts de Rn .
On trouvera tout un tas de documents sur la SDG ainsi que sur la théorie des topos et la logique catégorique sur la page de Marie et Gonzalo Reyes :
http://reyes-reyes.com/gonzalo/recent_work/syntheticdifferential
/https%3A%2F%2Fassets.over-blog.com%2Ft%2Fcedistic%2Fcamera.png)