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

- All Categories 2.2K
- Programming with Categories Course 12
- Exercises - Programming with Categories Course 6
- Applied Category Theory Course 341
- Applied Category Theory Seminar 4
- Exercises - Applied Category Theory Course 149
- Discussion Groups 50
- How to Use MathJax 15
- Chat 487
- Azimuth Code Project 108
- News and Information 147
- Azimuth Blog 149
- Azimuth Forum 29
- Azimuth Project 189
- - Strategy 108
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 711
- - Latest Changes 701
- - - Action 14
- - - Biodiversity 8
- - - Books 2
- - - Carbon 9
- - - Computational methods 38
- - - Climate 53
- - - Earth science 23
- - - Ecology 43
- - - Energy 29
- - - Experiments 30
- - - Geoengineering 0
- - - Mathematical methods 69
- - - Meta 9
- - - Methodology 16
- - - Natural resources 7
- - - Oceans 4
- - - Organizations 34
- - - People 6
- - - Publishing 4
- - - Reports 3
- - - Software 21
- - - Statistical methods 2
- - - Sustainability 4
- - - Things to do 2
- - - Visualisation 1
- General 41

Options

The original version of the following proof can be found here

Puzzle 90.What's a \(\mathbf{Cost}^{\text{op}}\)-category, and what if anything are they good for?

The story doesn't look very good for them :(

**Theorem.** If \(\mathcal{X}\) is a \(\mathbf{Cost}^{\text{op}}\)-enriched category, then:

$$ \tag{a} \forall a,b. \mathcal{X}(a,b) = 0 \text{ or } \mathcal{X}(a,b) = \infty $$
**Proof**.

If every element \(\mathcal{X}(a,b) = 0\), we are done.

Next assume to the contrary. We must show that for an arbitrary \(a\) and \(b\) that \(\mathcal{X}(a,b) = \infty\).

So observe there must be some \(\hat{a}\) and \(\hat{b}\) such that \(\mathcal{X}(\hat{a},\hat{b}) > 0\).

It must be \(\mathcal{X}(\hat{a},\hat{b}) = \infty\). To see this, we know from the laws of enriched categories (part (b)) that:

$$ \tag{b} \begin{align} \mathcal{X}(\hat{a},\hat{b}) + \mathcal{X}(\hat{b},\hat{a}) & \leq \mathcal{X}(\hat{a},\hat{a}) \\ \implies \mathcal{X}(\hat{a},\hat{b}) & \leq \mathcal{X}(\hat{a},\hat{a}) \end{align} $$ However, then we have

$$ \tag{c} \begin{align} \mathcal{X}(\hat{a},\hat{b}) + \mathcal{X}(\hat{a},\hat{a}) & \leq \mathcal{X}(\hat{a},\hat{b}) \\ \implies 2 \mathcal{X}(\hat{a},\hat{b}) & \leq \mathcal{X}(\hat{a},\hat{b}) \end{align} $$ This can only happen if \(\mathcal{X}(\hat{a},\hat{b}) = \infty\) or \(\mathcal{X}(\hat{a},\hat{b}) = 0\). But we know \(\mathcal{X}(\hat{a},\hat{b}) > 0\) so it must be \(\mathcal{X}(\hat{a},\hat{b}) = \infty\) .

Next observe from the enriched category theory law (b) that:

$$ \tag{d} \mathcal{X}(a,\hat{a}) + \mathcal{X}(\hat{a},\hat{b}) \leq \mathcal{X}(a,\hat{b}) $$ So it must be that \(\mathcal{X}(a,\hat{b}) = \infty\). But then

$$ \tag{e} \mathcal{X}(a,\hat{b}) + \mathcal{X}(\hat{b},b) \leq \mathcal{X}(a,b) $$ Hence \(\mathcal{X}(a,b) = \infty\). \(\qquad \square \)

[**Edit**: Updated following Christopher's suggestion. Thanks Chris!]

## Comments

This example has some nice features.

Links to comments can be obtained via the 'gear' icon in the upper right corner of the comment.

`This example has some nice features. - The math statements are clearly centered and tagged with names. - Justification for the next for statement is provided with appropriate embedded math statements. - It uses the QED box - It provides an edit note indicating that it was updated based on a subsequent comment, there is a link provided to that comment. - It starts with a restatement of the problem - It indicates how to 'quote' someone else. Links to comments can be obtained via the 'gear' icon in the upper right corner of the comment.`