Y
Hacker News
new
|
ask
|
show
|
jobs
by
miguelrochefort
3267 days ago
I can't seem to grasp HoTT.
Are there any approachable resources on the subject?
3 comments
alimw
3267 days ago
Have you tried reading the articles linked to on this page?
http://www.bris.ac.uk/arts/research/projects/homotopy-type-t...
link
stepik777
3267 days ago
There 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.
link
agumonkey
3267 days ago
I only read two pages on homotopy so far, I cannot answer that :)
link