Down lifts monoidal functors into a post monoidal profunctor