Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
associator, unitor, Jacobiator
A unitor in category theory and higher category theory is an isomorphism that relaxes the ordinary uniticity equality of a binary operation.
In a bicategory the composition of 1-morphisms does not satisfy uniticity as an equation, but there are natural unitor 2-morphisms
that satisfy a coherence law among themselves.
By the periodic table of higher categories a monoidal category is a pointed bicategory with a single object, its objects are the 1-morphisms of the bicategory.
Accordingly, a monoidal category with tensor product and tensor unit “” is equipped with a natural isomorphism of the form
called the left unitor, and a natural isomorphism
called the right unitor.
Last revised on April 5, 2023 at 15:41:30. See the history of this page for a list of all contributions to it.