This book provides an introduction to modern homotopy theory through the lens of higher categories after Joyal and Lurie, giving access to methods used at the forefront of research in algebraic topology and algebraic geometry in the twenty-first century.

This text focuses on developing an intimate acquaintance with the geometric meaning of curvature and thereby introduces and demonstrates all the main technical tools needed for a more advanced course on Riemannian manifolds. It covers proving the four most fundamental theorems relating curvature and topology: the Gauss-Bonnet Theorem, the Cartan-Hadamard Theorem, Bonnet's Theorem, and a special case of the Cartan-Ambrose-Hicks Theorem.