This book provides an introduction to modern homotopy theory through the lens of higher categories after Joyal and Lurie, giving …