Homotopy Type Theory
desired articles (changes)

Showing changes from revision #2 to #3: Added | Removed | Changed

This page collects desired articles in the style of a TODO list. Feel free to edit and add your own wishes.

The type theory navigation list

The type theory navigation list is terrible as it stands. Eventually these articles will need to be written and incorporated into the wiki. Right now they seem lost.

More on encode-decode

This method is used fruitfully in HoTT however can be a bit difficult to understand for beginners. Add some more articles detailing its use and generalisations. Specifically the proof of π 1(S 1)\pi_1(S^1) and van kampen.

Group theory

Write out results of Higher Groups in Homotopy Type Theory. In particular outline how it can be linked with Localization in Homotopy Type Theory. Then we can finally start talking about localised cohomology.

Last revised on January 19, 2019 at 13:03:56. See the history of this page for a list of all contributions to it.