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?
Version 2.1.8p2
