File:Monoidal2.svg loading ...