i know this is supposed to be a beginner textbook, but his discussion of infinitesimal geometry uses an awful amount of Scheme Theory to justify.