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.