Synthetic Differential Geometry

This book, first published in 2006, details how limit processes can be represented algebraically.