Metric spaces and SDG
  We explore how the synthetic theory of metric spaces (Busemann) can coexist with synthetic differential geometry in the sense based on nilpotent elements in the number line. 
Anders Kock
math.MG