File:Lax_monoidal_functor_right_unit.svg loading ...