Category theory provides structure for the mathematical world and is seen everywhere in modern mathematics. With this book, the author bridges the gap between pure category theory and its numerous applications in homotopy theory, providing the necessary background information to make the subject accessible to graduate students or researchers with a background in algebraic topology and algebra. The reader is first introduced to category theory, starting with basic definitions and concepts before progressing to more advanced themes. Concrete examples and exercises illustrate the topics, ranging from colimits to constructions such as the Day convolution product. Part II covers important applications of category theory, giving a thorough introduction to simplicial objects including an account of quasi-categories and Segal sets. Diagram categories play a central role throughout the book, giving rise to models of iterated loop spaces, and feature prominently in functor homology and homology of small categories.

‘It would be an excellent text for a graduate student just finishing introductory coursework and wanting to know about techniques in modern homotopy theory.’

Julie Bergner

‘… this book attempts to bridge the gap between the basic theory and the application of categorical methods to homotopy theory, which has been the subject of some recent exciting developments … the book would be very useful for beginner graduate students in homotopy theory.’

Hollis Williams Source: IMA website