> 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.

I tried to give that motivation in the first few lectures:

* [Lecture 55 - Chapter 4: Enriched Profunctors and Collaborative Design](

(a general introduction to the meaning of enriched profunctors as relating 'requirements' - things you want - to 'resources' - things you have... and a tiny taste of their application to collaborative design)

* [Lecture 56 - Chapter 4: Feasibility Relations](

(showing how the definition of a \\(\textbf{Bool}\\)-enriched profunctor is natural when you think of it as describing a relation between requirements and resources)

* [Lecture 59 - Chapter 4: Cost-Enriched Profunctors](

(a similar example, but now instead of just either being able to get from some resources to some requirements, you have to pay a certain _cost_ to get from the resources to the requirements)

In most of my examples so far I've found it easiest to talk about the process of getting this from that in terms of _travelling between cities_, because it's such a beautiful visual metaphor. But we could equally well be talking about _turning any resource into any product_.

There's a lot more motivation in [the book](, so please read that too!

In this particular chapter, Fong and Spivak go through the business of building a category where morphisms are quantale-enriched profunctors very rapidly, and spend most of their time drawing pictures of examples. So, I decided to spend more time on the details they skim over.

Once we get this category - which we'll have as soon as people solve the puzzles in this lecture! - I'll try to use it for something.

The main paper on this subject is:

* Andrea Censi, [A mathematical theory of co-design](

If you have more precise questions, please ask!