Introduction to 2- and Bicategories

2-Dimensional Categories

This book is an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory.A review of basic category theory is followed by a systematic discussion of 2-/bicategories, pasting diagrams, lax functors, 2-/bilimits, the duskin nerve, 2-nerve, adjunctions and monads in bicategories, 2-monads, biequivalences, the bicategorical yoneda-lemma, and the coherence theorem for bicategories.Complete detailed proofs of several fundamental but hard-to-find results are presented for the first time.