Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] HoTT Wiki
@ 2018-10-10 13:55 Ali Caglayan
  0 siblings, 0 replies; only message 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 
<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 --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2018-10-10 13:55 UTC | newest]

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

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).