Welcome to IntrastiBETA

High-signal links for low-patience browsing.

1 result
Homotopy Type Theory homotopytypetheory.org This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved in its study. Homotopy Type Theory refers to a new field of study relating Martin-Löf’s system of intensional, constructive type theory with abstract homotopy theory. Propositional equality is interpreted as…