3 ms·
I'm quite familiar with homotopy theory but had never, prior to this point, taken a serious look at homotopy type theory. The following appears to be a great (h
by nilkn 13y ago
I'm quite familiar with homotopy theory but had never, prior to this point, taken a serious look at homotopy type theory. The following appears to be a great (highly technical) introduction:
http://hottheory.files.wordpress.com/2013/03/hott-online-323-g28e4374.pdf http://hottheory.files.wordpress.com/2013/03/hott-online-323...
- ivan_ah 13y agoInterestingly, the entire source code of the HoTT book is available on github and it is under active development: https://github.com/HoTT/book https://github.com/HoTT/book
- Tyr42 13y agoWhich is a great boon, as I've edited the latex and recompiled it to fit perfectly on my Kindle. I really wish more people would open source their books.
- kitsune_ 13y agoWow, this is a very well written and readable book.