3 ms·homotopy type theory!by m_j_g 6y agohomotopy type theory!marius_k 6y agoWhat are you reading/watching? Are there any self-contained material on this topic?joycian 6y agoNot sure what you mean by self-contained, but there is the Homotopy Type Theory book: https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/