[-- Attachment #1.1: Type: text/plain, Size: 1918 bytes --] Over the last few months I have been adding to the HoTT wiki <https://ncatlab.org/homotopytypetheory/show/HomePage>, just contributing known facts from the HoTT book and reorganising a few pages. There are a few pages that you can use to find the others: - Synthetic homotopy theory <https://ncatlab.org/homotopytypetheory/show/Synthetic+homotopy+theory> this is supposed to detail known things about synthetic homotopy theory in HoTT. There are a few references at the bottom consisting of PhD thesis' which I mean to go through and add to the wiki. Sorry about the mess. - Category theory (in HoTT) <https://ncatlab.org/homotopytypetheory/show/Category+theory> this is following the HoTT book essentially. But this shows the potential the Wiki has for being "the ultimate HoTT book" given that we don't have to publish anything, there is not limit to what we can add. - Type theory <https://ncatlab.org/homotopytypetheory/show/type+theory> this is supposed to detail type theoretic things, i.e. the first few chapters in the HoTT book. It is in a sorry state at the moment. There are only 100 pages or so, you can find them through the All Pages link at the top, furthermore, you can organise pages by categories (still WIP). Now if you are reading this email you are probably interested in HoTT in one form or another. So please contribute! You can get a gist for the general style from the articles I have linked. Even the smallest of contributions are welcome. You can post on the nforum or email me if there are any substantial issues with what I have written so far. Ali Caglayan -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. For more options, visit https://groups.google.com/d/optout. [-- Attachment #1.2: Type: text/html, Size: 2358 bytes --]