Exercise 2.45

To answer 1., see the same question in Exercise 2.31.

To answer 2., we simply need to guess and check different kinds of functions for the monoidal monotone. An answer that works is \(f(p) := n^p\) where \(n\) is any integer (e.g. 2).

To answer 3., see nearly the same question in Exercise 2.5.