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. The text starts from scratch - revisiting results from classical homotopy theory such as Serre's long exact sequence, Quillen's theorems A and B, Grothendieck's smooth/proper base change formulas, and the construction of the Kan–Quillen model structure on simplicial sets - and develops an alternative to a significant part of Lurie's definitive reference Higher Topos Theory, with new constructions and proofs, in particular, the Yoneda Lemma and Kan extensions. The strong emphasis on homotopical algebra provides clear insights into classical constructions such as calculus of fractions, homotopy limits and derived functors. For graduate students and researchers from neighbouring fields, this book is a user-friendly guide to advanced tools
Differential geometry is the study of curved spaces using the techniques of calculus. It is a mainstay of undergraduate mathematics education and a cornerstone of modern geometry. It is also the language used by Einstein to express general relativity, and so is an essential tool for astronomers and theoretical physicists. This introductory textbook originates from a popular course given to third year students at Durham University for over twenty years, first by the late L. M. Woodward and later by John Bolton (and others). It provides a thorough introduction by focusing on the beginnings of the subject as studied by Gauss: curves and surfaces in Euclidean space. While the main topics are the classics of differential geometry - the definition and geometric meaning of Gaussian curvature, the Theorema Egregium, geodesics, and the Gauss–Bonnet Theorem - the treatment is modern and student-friendly, taking direct routes to explain, prove and apply the main results. It includes many exercise