File:Lax_monoidal_functor_braided.svg loading ...