nLab
2Cat

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

categories of categories

Contents

Idea

2Cat is the 3-category of 2-categories.

It has

category: category

Last revised on February 25, 2013 at 15:34:41. See the history of this page for a list of all contributions to it.