Category theory structures the mathematical world and is seen everywhere in modern mathematics. This book, suitable for graduate students or researchers with a background in algebraic topology and algebra, provides a self-contained introduction to the theory and explains its important applications to homotopy theory.