Seven Sketches in Compositionality - Exercise 2.68


Find another monoidal monotone $g: \textbf{Cost} \to \textbf{Bool}$ different from the one defined in Eq. 2.66.


Consider $$g(x) = \begin{cases} \mathtt{true} \text{ if } x < \infty,\\ \mathtt{false} \text{ if } x = \infty.\\ \end{cases}$$ We have already shown (Ex. 2.44) that g is a monoidal monotone. Thus, g can turn a Lawvere metric space into a preorder. Intuitively, the preorder relationship will be the one of "reachability": $x \leq y$ if and only if $y$ can be reached from $x$ in a finite time going at a finite velocity.

No comment found.

Add a comment

You must login to add a comment.

Site Maintenance

Our platform is currently undergoing maintenance. We apologize for any inconvenience. Please check back later.