Options

Exercise 10 - Chapter 4

edited June 2018 in Exercises

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?

Previous Next

Comments

  • 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.
Sign In or Register to comment.