New Methods for Old Spaces: Synthetic Differential Geometry