3 ms·
Homotopy type theory formalizes informal reasoning style when things which have "the same structure" are considered equal in a constructive type theory setting.
by solomatov 11y ago
Homotopy type theory formalizes informal reasoning style when things which have "the same structure" are considered equal in a constructive type theory setting. Another achievement is formulation of synthetic homotopy type theory, i.e. axiomatic as opposed to based on geometric type theory.
- mafribe 11y agoI don't think synthetic homotopy type theory is known to cover all of conventional homotopy theory, so it's work in progress.