We've been looking at feasibility relations, as our first example of enriched profunctors. Now let's look at another example. This combines many ideas we've discussed - but don't worry, I'll review them, and if you forget some definitions just click on the links to earlier lectures! Remember, \\(\mathbf{Bool} = \lbrace \text{true}, \text{false} \rbrace \\) is the [preorder](https://forum.azimuthproject.org/discussion/1812/lecture-3-chapter-1-posets/p1) that we use to answer true-or-false questions like * _can we_ get from here to there? while \\(\mathbf{Cost} = [0,\infty] \\) is the preorder that we use to answer quantitative questions like * _how much does it cost_ to get from here to there? or * _how far is it_ from here to there? In \\(\textbf{Cost}\\) we use \\(\infty\\) to mean it's impossible to get from here to there: it plays the same role that \\(\text{false}\\) does in \\(\textbf{Bool}\\). And remember, the ordering in \\(\textbf{Cost}\\) is the _opposite_ of the usual order of numbers! This is good, because it means we have \[ \infty \le x \text{ for all } x \in \mathbf{Cost} \] just as we have \[ \text{false} \le x \text{ for all } x \in \mathbf{Bool} .\] Now, \\(\mathbf{Bool}\\) and \\(\mathbf{Cost}\\) are [monoidal preorders](https://forum.azimuthproject.org/discussion/2082/lecture-21-chapter-2-monoidal-preorders/p1), which are just what we've been using to define [enriched categories](https://forum.azimuthproject.org/discussion/2121/lecture-29-chapter-2-enriched-categories/p1)! This let us define * [\\(\mathbf{Bool}\\)-enriched categories](https://forum.azimuthproject.org/discussion/2124/lecture-30-chapter-1-preorders-as-enriched-categories/p1), which are just **preorders** and * [\\(\mathbf{Cost}\\)-enriched categories](https://forum.azimuthproject.org/discussion/2128/lecture-31-chapter-2-lawvere-metric-spaces/p1), which are **Lawvere metric spaces**. We can draw preorders using graphs, like these:
An edge from \\(x\\) to \\(y\\) means \\(x \le y\\), and we can derive other inequalities from these. Similarly, we can draw Lawvere metric spaces using \\(\mathbf{Cost}\\)-weighted graphs, like these:
The distance from \\(x\\) to \\(y\\) is the length of the shortest directed path from \\(x\\) to \\(y\\), or \\(\infty\\) if no path exists. All this is old stuff; now we're thinking about [enriched profunctors](https://forum.azimuthproject.org/discussion/2278/lecture-55-chapter-4-enriched-profunctors/p1) between enriched categories. A \\(\mathbf{Bool}\\)-enriched profunctor between \\(\mathbf{Bool}\\)-enriched categories also called a [feasibility relation](https://forum.azimuthproject.org/discussion/2281/lecture-57-chapter-4-feasibility-relations/p1) between preorders, and we can draw one like this:
What's a \\(\mathbf{Cost}\\)-enriched profunctor between \\(\mathbf{Cost}\\)-enriched categories? It should be no surprise that we can draw one like this:
You can think of \\(C\\) and \\(D\\) as countries with toll roads between the different cities; then an enriched profunctor \\(\Phi : C \nrightarrow D\\) gives us the cost of getting from any city \\(c \in C\\) to any city \\(d \in D\\). This cost is \\(\Phi(c,d) \in \mathbf{Cost}\\). But to specify \\(\Phi\\), it's enough to specify costs of flights from _some_ cities in \\(C\\) to _some_ cities in \\(D\\). That's why we just need to draw a _few_ blue dashed edges labelled with costs. We can use this to work out the cost of going from any city \\(c \in C\\) to any city \\(d \in D\\). I hope you can guess how! **Puzzle 182.** What's \\(\Phi(E,a)\\)? **Puzzle 183.** What's \\(\Phi(W,c)\\)? **Puzzle 184.** What's \\(\Phi(E,c)\\)? **Puzzle 185.** In general, a \\(\mathbf{Cost}\\)-enriched profunctor \\(\Phi : C \nrightarrow D\\) is defined to be a [\\(\mathbf{Cost}\\)-enriched functor](https://forum.azimuthproject.org/discussion/2169/lecture-32-chapter-2-enriched-functors/p1) \[ \Phi : C^{\text{op}} \times D \to \mathbf{Cost} \] This is a function that assigns to any \\(c \in C\\) and \\(d \in D\\) a cost \\(\Phi(c,d)\\). However, to be a \\(\mathbf{Cost}\\)-enriched functor it needs to obey some properties! What are these properties? What do they mean in terms of trips between cities? **Puzzle 185.** Are the graphs we used above to describe the preorders \\(A\\) and \\(B\\) [Hasse diagrams](https://en.wikipedia.org/wiki/Hasse_diagram)? Why or why not? **Puzzle 186.** I said that \\(\infty\\) plays the same role in \\(\textbf{Cost}\\) that \\(\text{false}\\) does in \\(\textbf{Bool}\\). What exactly is this role? **Puzzle 187.** Choose some other monoidal preorder \\(\mathcal{V}\\) and draw, or otherwise describe, an example of a \\(\mathcal{V}\\)-enriched profunctor between \\(\mathcal{V}\\)-enriched categories. By the way, people often say **\\(\mathcal{V}\\)-category** to mean \\(\mathcal{V}\\)-enriched category, and **\\(\mathcal{V}\\)-functor** to mean \\(\mathcal{V}\\)-enriched functor, and **\\(\mathcal{V}\\)-profunctor** to mean \\(\mathcal{V}\\)-enriched profunctor. This helps you talk faster and do more math per hour. **[To read other lectures go here.](http://www.azimuthproject.org/azimuth/show/Applied+Category+Theory#Chapter_4)**