An introduction to differential algebraic geometry
Over the years, researchers in differential algebra have made various attempts at defining the spectrum of a differential ring and differential schemes. Using methods of categorical logic, we will construct the classifying topos of the theory of differential local rings and obtain the correct notion of `differential spectrum’.