J. Bell, A Primer of Infinitesimal Analysis, Cambridge University Press 1998.
Using some basic category theory, the traditional use of nilpotent infinitesimals in the classical analysis and geometry of Euler, Lie, and Cartan is placed on a rigorous footing and applied to numerous traditional calculations of central importance in elementary geometry and engineering. Like Conceptual Mathematics, this book could serve as a detailed guide to the construction of a course at the beginning level.
M. La Palme Reyes, G. E. Reyes, H. Zolfaghari Generic Figures and their Glueings, Polimetrica, 2004. ...