In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, a tricategory is a kind of structure of
category theory
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, cate ...
studied in
higher-dimensional category theory.
Whereas a weak
2-category
In category theory, a strict 2-category is a category with "morphisms between morphisms", that is, where each hom-set itself carries the structure of a category. It can be formally defined as a category enriched over Cat (the category of catego ...
is said to be a ''
bicategory
In mathematics, a bicategory (or a weak 2-category) is a concept in category theory used to extend the notion of category to handle the cases where the composition of morphisms is not (strictly) associative, but only associative ''up to'' an isomor ...
'', a weak
3-category is said to be a ''tricategory'' (Gordon, Power &
Street
A street is a public thoroughfare in a built environment. It is a public parcel of land adjoining buildings in an urban context, on which people may freely assemble, interact, and move about. A street can be as simple as a level patch of dirt, ...
1995;
Baez & Dolan 1996; Leinster 1998).
are the corresponding notion in dimension four. Dimensions beyond three are seen as increasingly significant to the relationship between
knot theory
In the mathematical field of topology, knot theory is the study of knot (mathematics), mathematical knots. While inspired by knots which appear in daily life, such as those in shoelaces and rope, a mathematical knot differs in that the ends are ...
and
physics
Physics is the natural science that studies matter, its fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge which r ...
.
John Baez
John Carlos Baez (; born June 12, 1961) is an American mathematical physicist and a professor of mathematics at the University of California, Riverside (UCR) in Riverside, California. He has worked on spin foams in loop quantum gravity, appl ...
, R. Gordon, A. J. Power and Ross Street have done much of the significant work with categories beyond bicategories thus far.
See also
*
Weak ''n''-category
References
External links
The Dimensional LadderBranches of higher dimensional algebra
Higher category theory
{{categorytheory-stub