Infinitesimal aspects of the Laplace operator. Kock, Anders (2001) Theory and Applications of Categories [electronic only]
Infinitésimaux et intuitionnisme Jacques Penon (1981) Cahiers de Topologie et Géométrie Différentielle Catégoriques