Keith, thanks for [the explanation](, 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?