Homotopy

Homotopy Type Theory: Univalent Foundations of Mathematics - Synrc