Braid category
= Braid category
{title2=$\mathbf B$}
The <braided monoidal category> with objects $n\geq0$, endomorphism <groups> $B_n$, no arrows between unequal objects, tensor given by juxtaposition, and block-crossing <braiding>. Its tensor is strict.