Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
undefined | Better HN
0 points
miguelrochefort
8y ago
0 comments
Share
I can't seem to grasp HoTT.
Are there any approachable resources on the subject?
0 comments
default
newest
oldest
alimw
8y ago
Have you tried reading the articles linked to on this page?
http://www.bris.ac.uk/arts/research/projects/homotopy-type-t...
stepik777
8y 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.
agumonkey
8y ago
I only read two pages on homotopy so far, I cannot answer that :)
j
/
k
navigate · click thread line to collapse