Géométrie Différentielle Synthétique

Une reformulation catégorique et axiomatique de la géométrie différentielle où les infinitésimaux sont représentés par des éléments nilpotents à l’intérieur d’un topos ou d’un cadre algébrique approprié ; dérivées et vecteurs tangents se traitent algébriquement via des axiomes (p. ex. Kock–Lawvere) plutôt que comme limites, permettant des manipulations lisses sans coordonnées.