nLab
2-category theory

Contents

Context

2-Category theory

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Contents

Idea

2-category theory is the study of 2-categories. It is the “first new level” in higher category theory.

higher category theory

Last revised on March 15, 2012 at 15:15:24. See the history of this page for a list of all contributions to it.