Here's a short paper that I spent several hours grokking as my first intro to Homotopy Type Theory, and which eventually sent me down a journey learning algebra

Here's a short paper that I spent several hours grokking as my first intro to Homotopy Type Theory, and which eventually sent me down a journey learning algebra, topology, and logic in order to fully understand HoTT: https://mathweb.ucsd.edu/~ebelmont/hott.pdf https://mathweb.ucsd.edu/~ebelmont/hott.pdf