higher geometry / derived geometry
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
function algebras on ?-stacks?
fundamental ?-groupoid in a locally ?-connected (∞,1)-topos? / of a locally ?-connected (∞,1)-topos?
derived smooth geometry
?-algebra over an (∞,1)-monad?
algebra over an algebraic theory
?-algebra over an (∞,1)-algebraic theory?
?-algebra over an (∞,1)-operad?
representation, ?-representation?
associated bundle, associated ?-bundle?
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?.