Text this: Recent synthetic differential geometry /