The braided monoidal category with objects , endomorphism groups , no arrows between unequal objects, tensor given by juxtaposition, and block-crossing braiding. Its tensor is strict.
New to topics? Read the docs here!
New to topics? Read the docs here!