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)