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
Inversion of multifunctions and differential inclusions Khadra Nachi, Jean-Paul Penot (2005) Control and Cybernetics