Description
Book SynopsisCategory theory emerged in the 1940s in the work of Samuel Eilenberg and Saunders Mac Lane. It describes relationships between mathematical structures. Outside of pure mathematics, category theory is an important tool in physics, computer science, linguistics, and a quickly-growing list of other sciences. This book is about 2-dimensional categories, which add an extra dimension of richness and complexity to category theory. 2-Dimensional Categories 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, internal adjunctions, monads in bicategories, 2-monads, biequivalences, the Bicategorical Yoneda Lemma, and the Coherence Theorem for bicategories. Grothendieck fibrations and the Grothendieck construction are discussed next, followed by tricategories, monoidal bicat
Trade ReviewThis provides a highly useful resource for research mathematicians in various areas and graduate students alike. A clear benefit of this book is that often the data of a general definition are spelled out in detail. * Robert Laugwitz, Mathematical Reviews Clippings *
This is a long-waited introduction to 2-categories and bicategories * Hirokazu Nishimura, zbMATH Open *
Table of Contents1: Categories 2: 2-Categories and Bicategories 3: Pasting Diagrams 4: Functors, Transformations, and Modifications 5: Bicategorical Limits and Nerves 6: Adjunctions and Monads 7: The Whitehead Theorem for Bicategories 8: The Yoneda Lemma and Coherence 9: Grothendieck Fibrations 10: The Grothendieck Construction 11: The Tricategory of Bicategories 12: Further 2-Dimensional Categorical Structures
