synthetic quasi-coherence
p
abstract duality: opposite category,
concrete duality: dual object, dualizable object, fully dualizable object, dualizing object
Examples
between higher geometry/higher algebra
Langlands duality, geometric Langlands duality, quantum geometric Langlands duality
In QFT and String theory
higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
constructive mathematics, realizability,...