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

- All Categories 2.3K
- Chat 499
- Study Groups 18
- Petri Nets 9
- Epidemiology 3
- Leaf Modeling 1
- Review Sections 9
- MIT 2020: Programming with Categories 51
- MIT 2020: Lectures 20
- MIT 2020: Exercises 25
- MIT 2019: Applied Category Theory 339
- MIT 2019: Lectures 79
- MIT 2019: Exercises 149
- MIT 2019: Chat 50
- UCR ACT Seminar 4
- General 67
- Azimuth Code Project 110
- Statistical methods 3
- Drafts 2
- Math Syntax Demos 15
- Wiki - Latest Changes 3
- Strategy 113
- Azimuth Project 1.1K
- - Spam 1
- News and Information 147
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 708

Options

Consider the preorder \( W := ( \mathbb{N} \cup {\infty}, \le, \infty, min) \).

Draw a small graph labeled by elements of \(W\) and compute the corresponding distance table. This will give you a feel for how \(W\) works.

Make up a interpretation, like that in Exercise 2.59, for how to imagine enrichment in \(W\).

## Comments

2 - Enrichment in \( W \) could capture some sort of notion of throughput.. If we imagine it as plumbing, given a water pipe \( \mathcal{X}(a, b) \) and a water pipe \( \mathcal{X}(b, c) \) the water pipe \( \mathcal{X}(a, c) \)'s throughput is given by \( min \), i.e. it's bottlenecked by the amount of water that can pass through the smallest pipe. I do feel that \( W^{op} \) would capture that notion a bit better; throughput should intuitively be

at mostthe minimum of those two pipes.`2 - Enrichment in \\( W \\) could capture some sort of notion of throughput.. If we imagine it as plumbing, given a water pipe \\( \mathcal{X}(a, b) \\) and a water pipe \\( \mathcal{X}(b, c) \\) the water pipe \\( \mathcal{X}(a, c) \\)'s throughput is given by \\( min \\), i.e. it's bottlenecked by the amount of water that can pass through the smallest pipe. I do feel that \\( W^{op} \\) would capture that notion a bit better; throughput should intuitively be _at most_ the minimum of those two pipes.`