Q. about monoidal functors