In fact, for now I'm going to eliminate the use of \$$V\$$ to stand for the underlying set of the monoidal preorder \$$\mathcal{V}\$$. I've changed my lecture as follows:

> We'll start by picking a symmetric monoidal poset \$$( \mathcal{V},\leq,\otimes,I)\$$, like \$$\mathbf{Bool}\$$ or \$$\mathbf{Cost}\$$.

I may regret this, but this is more like what we've been saying up to now, except for the funky new calligraphic font.