reading https://ncatlab.org/nlab/show/formal+disk convinced me that there’s something to my feeling that nonstandard analysis is similar to algebraic geometry.
formal disk ~ infinitesimal neighborhood/halo of a point ~ formal spectrum of power series, which extends prime spectra, one of the main concepts of algebraic geometry. any help here appreciated
reading https://ncatlab.org/nlab/show/formal+disk convinced me that there’s something to my feeling that nonstandard analysis is similar to algebraic geometry.
formal disk ~ infinitesimal neighborhood/halo of a point ~ formal spectrum of power series, which extends prime spectra, one of the main concepts of algebraic geometry. any help here appreciated