the composition of monoidal functors lift monoids