Smooth infinitesimal analysis
en.wikipedia.org