Géométrie différentielle synthétique

Bonjour,

"Smooth infinitesimal analysis" pour "Analyse infinitésimale lisse", développée à partir des idées de F.W. Lawvere en théorie des catégories, est par exemple une autre construction récente : un infinitésimal y est défini comme un nombre non nul dont le carré est nul (voir Bell, 2008)

Smooth infinitesimal analysis, developed from the ideas of F.W. Lawvere in the theory of categories is another recent construction: in it, an infinitesimal is defined as a number different from but whose square is (cf. Bell, 2008).

blog.kleinproject.org/?p=2250

(blog disponible en fr et English)