3 ms·

What are you reading/watching? Are there any self-contained material on this topic?

• joycian 6y ago
  Not sure what you mean by self-contained, but there is the Homotopy Type Theory book: https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/