File:Lax_monoidal_functor_left_unit.svg loading ...