![]() | This article has multiple issues. Please help improve it or discuss these issues on the talk page . (Learn how and when to remove these messages)
|
An editor has nominated this article for deletion. You are welcome to participate in the deletion discussion , which will decide whether or not to retain it. |
In mathematics, specifically in the field of category theory, the associativity isomorphism implements the notion of associativity with respect to monoidal products in semi-groupal (or monoidal-without-unit) categories.
A category, , is called semi-groupal if it comes equipped with a functor such that the pair for , as well as a collection of natural isomorphisms known as the associativity isomorphisms (or "associators"). [1] [2] [ full citation needed ] These isomorphisms, , are such that the following "pentagon identity" diagram commutes.
A tensor category, [3] [ full citation needed ] or monoidal category, is a semi-groupal category with an identity object, , such that and . modular tensor categories have many applications in physics,[ speculation? ] especially in the field of topological quantum field theories. [4] [ unreliable source? ] [5] [ dubious – discuss ]