Braided monoidal category
= Braided monoidal category
{wiki=Braided_monoidal_category}
A *braided monoidal category* is a particular type of category that combines the structure of a monoidal category with a braiding. To understand this structure, let's unpack a few key concepts. 1. **Monoidal Category**: A monoidal category consists of: - A category \\( C \\). - A tensor product (a bifunctor) \\( \\otimes: C \\times C \\to C \\).