higher geometry / derived geometry
higher topos theory
higher algebra
geometric little (∞,1)-toposes
structured (∞,1)-topos
geometry (for structured (∞,1)-toposes)
generalized scheme
geometric big (∞,1)-toposes
function algebras on ∞-stacks
loop space object, free loop space object
fundamental ∞-groupoid in a locally ∞-connected (∞,1)-topos / of a locally ∞-connected (∞,1)-topos
derived algebraic geometry
étale (∞,1)-site, Hochschild cohomology of dg-algebras
dg-geometry
schematic homotopy type
derived noncommutative geometry
derived smooth geometry
differential geometry, differential topology
derived smooth manifold, dg-manifold
smooth ∞-groupoid, ∞-Lie algebroid
higher symplectic geometry
higher Klein geometry
higher Cartan geometry
Isbell duality
Jones' theorem, Deligne-Kontsevich conjecture
Tannaka duality for geometric stacks
Edit this sidebar
The special case of non-archimedean analytic geometry based on p-adic numbers.
adic space
non-archimedean analytic geometry
Berkovich analytic space
p-adic homotopy
p-adic cohomology
p-adic physics
Survey is in