monoidal functors take monoids to monoids, demonstrate that