Tricategory

From Wikipedia, the free encyclopedia

This article or section is in need of attention from an expert on the subject.
WikiProject Mathematics or the Mathematics Portal may be able to help recruit one.
If a more appropriate WikiProject or portal exists, please adjust this template accordingly.

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).

Tetracategories are the corresponding notion in dimension four. Dimensions beyond three are seen as increasingly significant to the relationship between knot theory and physics. John Baez, R. Gordon, A. J. Power and Ross Street have done much of the significant work with categories beyond bicategories thus far.