Typos: There are some primes missing in the strict, lax and oplax monoidal monotone definitions for f.