Histoire des mathématiques Discipline
géométrie différentielle synthétique
Disciplineformalisation de la théorie de la géométrie différentielle dans le langage de la théorie des topos
Traduit de l’anglais automatiquement — non relu. « a formalization of the theory of differential geometry in the language of topos theory »
- domaine
- géométrie différentielle
Pour comprendre
rédactionGé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.
Sources
- Wikidata CC0-1.0