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
Infinitésimaux et intuitionnisme Jacques Penon (1981) Cahiers de Topologie et Géométrie Différentielle Catégoriques
Internal categories in a left exact cosimplicial category. Pataraia, D. (1997) Georgian Mathematical Journal
Inverse function theorems for Banach spaces in a topos Eduardo J. Dubuc, Jorge C. Zilber (2000) Cahiers de Topologie et Géométrie Différentielle Catégoriques