higher geometry / derived geometry
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
derived smooth geometry
symmetric monoidal (∞,1)-category of spectra
transfinite arithmetic, cardinal arithmetic, ordinal arithmetic
prime field, p-adic integer, p-adic rational number, p-adic complex number
arithmetic geometry, function field analogy
A locally representable structured (∞,1)-topos in E-∞ geometry.
The refinement of the notion of scheme from algebraic geometry to E-∞ geometry.
Last revised on March 19, 2017 at 17:00:30. See the history of this page for a list of all contributions to it.