Tricategory

In mathematics, a tricategory is a kind of structure of category theory studied in higher-dimensional category theory.

Whereas a weak 2-category is said to be a bicategory [Benabou 1967], a weak 3-category is said to be a tricategory (Gordon, Power & Street 1995; Baez & Dolan 1996; Leinster 1998).