On differential geometry, Lie groups and symmetric spaces using (Weil algebra) methods from synthetic differential geometry:
Wolfgang Bertram
Urs Schreiber
On differential geometry, Lie groups and symmetric spaces using (Weil algebra) methods from synthetic differential geometry: