Infinitesimal and local structures for Banach spaces and its exponentials in a topos
Injectivity in the quasi-topo of separated presheaves on a complete Heyting algebra
Integral Domain Type Representations in Sheaves and Other Topoi.
Internal categories in a left exact cosimplicial category.
Internal presheaves toposes
Intersection theory on algebraic stacks and on their moduli spaces.