Looks like an interesting topic, but I’m too busy to read it, so just share π
Homotopy Type Theory and Univalent Foundations
Homotopy Type Theory
Looks like an interesting topic, but I’m too busy to read it, so just share π
Homotopy Type Theory and Univalent Foundations