Since \\( \textbf{Cost} \\) is a symmetric monoidal preorder,
[Proposition 2.35](https://forum.azimuthproject.org/discussion/1983) says that \\( \textbf{Cost}^{op} \\) is too.
\[ \textbf{Cost} = ( [ 0, \infty ], \ge, 0, + ) \]

1. What is \\( \textbf{Cost}^{op} \\) as a preorder?
2. What is its monoidal unit?
3. What is its monoidal product?

[Previous](https://forum.azimuthproject.org/discussion/1983)
[Next](https://forum.azimuthproject.org/discussion/1985)