Keith, thanks for [the explanation](https://forum.azimuthproject.org/discussion/comment/18657/#Comment_18657), but I'm failing to see where does the \\(\mathbf{Cost}\\)-category come into play in puzzle 95.

As far as I understood, we need to prove that \\(f\\) is a mapping between two monoidal preorders;

why do we need enriched categories to prove that \\(f\\) is a monoidal monotone? Or did I misunderstand the problem statement?

As far as I understood, we need to prove that \\(f\\) is a mapping between two monoidal preorders;

why do we need enriched categories to prove that \\(f\\) is a monoidal monotone? Or did I misunderstand the problem statement?