Showing changes from revision #4 to #5:
Added | Removed | Changed
This page collects desired articles in the style of a TODO list. Feel free to edit and add your own wishes.
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 and van kampen.
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.
Write out a definition of a poset, a directed poset, a net, and a categorical-theoretic Cauchy directed net, colimit, and give a definition of the real numbers in terms of Cauchy nets in a universe, which would inevitably in the next universe, universe. as Also well give as a definition of the an dagger inductive category system Hilb. in a precategory and a directed colimit of such an inductive system.