OK, so still a bit behind, but more caught up on the material of this chapter - sorry I haven't tried any exercises in a while. It would be useful to get a sense of the motivation for the direction this chapter seems to be building in, namely a category where morphisms are quantale enriched profunctors. Also, there seems to be analogy between treating functors of type (XxY->2) as morphisms in a new category and the lower level phenomenon of treating functions of type (XxY->2) as morphisms in a new category (Rel).