Definition, synonyms and related words
A natural isomorphism of a functor (F) such that F(x⊗y)→F(y⊗x).