géométrie différentielle synthétique

Géométrie différentielle synthétique

La géométrie différentielle synthétique formalise la théorie de la géométrie différentielle dans le langage de la théorie des topos. Elle propose donc une manière précise d'exprimer cette théorie à l'intérieur de ce langage.

Elle appartient à la géométrie différentielle. Sa place est celle d'une formalisation de cette branche, plutôt que d'un domaine séparé de la géométrie.