4 ms·
I can't seem to grasp HoTT. Are there any approachable resources on the subject?
by miguelrochefort 9y ago
I can't seem to grasp HoTT.
Are there any approachable resources on the subject?
- agumonkey 9y agoI only read two pages on homotopy so far, I cannot answer that :)
- alimw 9y agoHave you tried reading the articles linked to on this page? http://www.bris.ac.uk/arts/research/projects/homotopy-type-theory/ http://www.bris.ac.uk/arts/research/projects/homotopy-type-t...
- stepik777 9y agoThere is an official book which is very well written. I remember that I started to read it several years ago and was surprised that I actually can understand most of the things.