HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by m_j_g | Hacker News Reader
Parent
Full thread
m_j_g
·
homotopy type theory!
View on HN
marius_k
·
What are you reading/watching? Are there any self-contained material on this topic?
joycian
·
Not sure what you mean by self-contained, but there is the Homotopy Type Theory book:
https://homotopytypetheory.org/book/
Reply on news.ycombinator.com