nLab two-dimensional 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

Two-dimensional category theory is the study of two-dimensional categorical structures. These include:

higher category theory

References

See the references at 2-category and double category.

Last revised on August 24, 2025 at 10:34:38. See the history of this page for a list of all contributions to it.