(directed enhancement of homotopy type theory with types behaving like $(\infty,n)$-categories)

**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

Last revised on May 21, 2023 at 14:03:41. See the history of this page for a list of all contributions to it.