2-Dimensional Categories is an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory.
2-Dimensional Categories is an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory.