The language of -categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated. This book develops a new, more accessible model-independent approach to the foundations of -category theory by studying the universe, or -cosmos, in which -categories live.
Inhaltsverzeichnis
Part I. Basic -Category Theory: 1. -Cosmoi and their homotopy 2-categories; 2. Adjunctions, limits, and colimits I; 3. Comma -categories; 4. Adjunctions, limits, and colimits II; 5. Fibrations and Yoneda's lemma; 6. Exotic -cosmoi; Part II. The Calculus of Modules: 7. Two-sided fibrations and modules; 8. The calculus of modules; 9. Formal category theory in a virtual equipment; Part III. Model Independence: 10. Change-of-model functors; 11. Model independence; 12. Applications of model independence.
