Take a symmetric monoidal inverse category X with tensor ⊗ : X × X →