#### Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Options

# Exercise 10 - Chapter 4

edited June 2018

Is it true that a $$\textbf{Bool}$$-profunctor, as in Definition 4.8 is exactly the same as a feasibility relation, as in Definition 4.2, once you peel back all the jargon? Or is there some subtle difference?

• Options
1.
edited June 2018

$$\tag{V-profunctor} \Phi : \mathcal{X}^{op} \times \mathcal{Y} \rightarrow \mathcal{V}$$ $$\tag{Bool-profunctor} \Phi : \mathcal{X}^{op} \times \mathcal{Y} \rightarrow \textbf{Bool}$$ $$\tag{feasibilty relation} \Phi : \mathcal{X}^{op} \times \mathcal{Y} \rightarrow \textbf{Bool}$$ They sure look the same.

Comment Source:$\tag{V-profunctor} \Phi : \mathcal{X}^{op} \times \mathcal{Y} \rightarrow \mathcal{V}$ $\tag{Bool-profunctor} \Phi : \mathcal{X}^{op} \times \mathcal{Y} \rightarrow \textbf{Bool}$ $\tag{feasibilty relation} \Phi : \mathcal{X}^{op} \times \mathcal{Y} \rightarrow \textbf{Bool}$ They sure look the same.