We approach differential algebra and differential algebraic geometry from the point of view of topos theory and categorical logic, following the initial steps made by Keigher and Bunge in the early 80s. We consider the ...