Geometría Diferencial Sintética

Una reformulación categórica y axiomática de la geometría diferencial en la que los infinitesimales se representan por elementos nilpotentes dentro de un topos o marco algebraico apropiado; derivadas y vectores tangentes se tratan algebraicamente mediante axiomas (p. ej. Kock–Lawvere) en lugar de mediante límites, permitiendo manipulaciones lisas y sin coordenadas.