Textmeddelande: Recent synthetic differential geometry.