David Corfield
Homotopy type theory

A page on why philosophers should find homotopy type theory of interest.


Intensional dependent type theory: types; dependent types; negation; logic of presuppositions; the; identity; intension; implication; modal type theory; invariants; probabilities applied to assertions.

Cohesion: space


New foundations, see nLab page and link to the book


Cohesive homotopy type theory, geometry in physics, Quantum gauge field theory in Cohesive homotopy type theory, differential cohomology in a cohesive topos, Homotopy-type semantics for quantization.

Last revised on December 21, 2014 at 15:27:11. See the history of this page for a list of all contributions to it.