The low-dimensional structures formed by tricategories

Abstract

We form tricategories and the homomorphisms between them into a bicategory, whose 2-cells are certain degenerate tritransformations. We then enrich this bicategory into an example of a three-dimensional structure called a locally cubical bicategory, this being a bicategory enriched in the monoidal 2-category of pseudo double categories. Finally, we show that every sufficiently well-behaved locally cubical bicategory gives rise to a tricategory, and thereby deduce the existence of a tricategory of tricategories.

41 pages; v2: final journal version

Cited by in corpus (6)

• The higher Morita category of $E_n$-algebras
• Homomorphisms of higher categories
• Geometric Realizations of Tricategories
• How strict is strictification?
• Exponentiable virtual double categories and presheaves for double categories
• Transposing cartesian and other structure in double categories