Infinitesimal and local structures for Banach spaces and its exponentials in a topos Eduardo J. Dubuc, Jorge C. Zilber (2000) Cahiers de Topologie et Géométrie Différentielle Catégoriques