New exemplar: new logic for a new geometry for a new physics.
Type theory: Husserl; Constructive type theory, Martin-Löf
Category theory: Lawvere; universal properties; adjunctions
Higher toposes
Modal type theory
Geometry: supergeometry + homotopy
differential cohomology in mathematics
differential cohomology in physics
Gauge field theory
Quantum field theory: “three pillars of modern QFT (it’s a) local b) Lagrangian c) gauge field theory) translating into three reasons why one needs to pass from plain linear type theory to a linear version of dependent homotopy-type theory.”
M-theory: Hypothesis H
Philosophy: Carnap, Cassirer, Kuhn, Brandom, …
Last revised on October 24, 2022 at 19:27:31. See the history of this page for a list of all contributions to it.