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

Revised on February 25, 2013 15:34:41 by Urs Schreiber (89.204.139.45)