Have you used it? If yes, could you elaborate? Or if you haven't, can you point ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		staunton on May 20, 2024 \| parent \| context \| favorite \| on: Grothendieck’s use of equality Have you used it? If yes, could you elaborate? Or if you haven't, can you point to any recent source on what it's like to be using HoTT in 2024?

YetAnotherNick on May 20, 2024 [–]

[1] is the only video which I would say I found any bit accessible. But to be honest even after spending days, I couldn't grok it. And in my observation, different implementations of HoTT are quite different from each other.

[1]: https://www.youtube.com/watch?v=x4cz1OgpU3M

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact