* [HoTT] HoTT Wiki
@ 2018-10-10 13:55 Ali Caglayan
0 siblings, 0 replies; 1+ messages in thread
From: Ali Caglayan @ 2018-10-10 13:55 UTC (permalink / raw)
To: Homotopy Type Theory
[-- 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
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
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.
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 HomotopyTypeTheoryfirstname.lastname@example.org.
For more options, visit https://groups.google.com/d/optout.
[-- Attachment #1.2: Type: text/html, Size: 2358 bytes --]
^ permalink raw reply [flat|nested] 1+ messages in thread
only message in thread, back to index
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-10-10 13:55 [HoTT] HoTT Wiki Ali Caglayan
Discussion of Homotopy Type Theory and Univalent Foundations
Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott
Newsgroup available over NNTP:
AGPL code for this site: git clone https://public-inbox.org/ public-inbox