Hey everyone, quick reminder that I'm working on a formalised, online reference resource for HoTT — not meant as an introduction, but something to consult if an explanation from the book didn't quite click or you just wanna refresh your memory.
Conversation
omg this is awesome, you are so cooool
1
1
is 1lab still 1lab if it is getting cubical stuff? 🤔
1
1
don't think too hard about it
1