nLab directed type theory

Context

2-category theory

2-category theory

Definitions

Transfors between 2-categories

Morphisms in 2-categories

Structures in 2-categories

Limits in 2-categories

Structures on 2-categories

Any kind of type theory with categorical semantics in 2-categories or (n,2)-categories, such as $(\infty,2)$-categories. See:

category: disambiguation

Created on March 5, 2023 at 13:54:26. See the history of this page for a list of all contributions to it.