Synthetic Differential Geometry

Wikipedia nLab

References