David Corfield Homotopy type theory

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

Philosophy

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

Mathematics

New foundations, see nLab page and link to the book

Physics

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.