Symmetry and Braidings in Monoidal Categories
A monoidal category, as introduced in Chapter VII, is a category equipped with binary “tensor” products, associative up to a natural isomorphism α. A principal result for these categories was a “coherence” theorem: If a certain pentagonal diagram (§VII.1.5) in α commutes, then all diagrams involving this α must commute. We now consider various extensions of this result.
KeywordsNatural Transformation Braid Group Monoidal Category Monoidal Functor Symmetric Monoidal Category
Unable to display preview. Download preview PDF.