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

- All Categories 2.2K
- Applied Category Theory Course 327
- Applied Category Theory Exercises 149
- Applied Category Theory Discussion Groups 47
- Applied Category Theory Formula Examples 15
- Chat 468
- Azimuth Code Project 107
- News and Information 145
- Azimuth Blog 148
- Azimuth Forum 29
- Azimuth Project 190
- - Strategy 109
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 707
- - Latest Changes 699
- - - 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 20
- - - Statistical methods 2
- - - Sustainability 4
- - - Things to do 2
- - - Visualisation 1
- General 38

Options

Consider again the preorder \( ( \mathbb{R} , \le) \).

Someone proposes 1 as a monoidal unit and \(*\) (usual multiplication) as a monoidal product. But an expert walks by and says “that won’t work.”

Figure out why, or prove the expert wrong!

**Example 2.4**.
There is a well-known preorder structure, denoted \( \le \), on the set \( \mathbb{R} \) of real numbers; e.g. \( −5 \le 2 \) .

**Definition 2.2**.
A symmetric monoidal structure on a preorder \( (X, \le) \) consists of two constituents:

- an element \(I \in X\), called the monoidal unit, and
- a function \( \otimes : X \times X \rightarrow X \), called the monoidal product.

These constituents must satisfy the following properties:

**(a)**for all \(x_1 , x_2 , y_1 , y_2 \in X, \text{ if } x_1 \le y_1 \text{ and } x_2 \le y_2 , \text{ then } x_1 \otimes x_2 \le y_1 \otimes y_2 \)**(b)**for all \(x \in X\), the equations \(I \otimes x = x\) and \(x \otimes I = x\) hold**(c)**for all \(x, y, z \in X\), the equation \((x \otimes y) \otimes z = x \otimes (y \otimes z) \) holds, and**(d)**for all \(x, y \in X\), the equivalence \(x \otimes y \cong y \otimes x\) holds.

A preorder equipped with a symmetric monoidal structure, \( (X, \le, I, \otimes) \), is called a symmetric monoidal preorder.

## Comments

Puzzle FE-1Would \( I = 1 \) and \( \otimes = * \) with the preorder \( (\mathbb{R}^+, \le) \) form a symmetric monoidal preorder?`**Puzzle FE-1** Would \\( I = 1 \\) and \\( \otimes = \* \\) with the preorder \\( (\mathbb{R}^+, \le) \\) form a symmetric monoidal preorder?`

Let \(x_1, x_2, y_1, y_2\) be \(-2, -3, 2, 1\), respectively. We have \( −2 \le 2 \) and \(-3 \le 1\). However, \((-2) ∗ (-3) \) is greater than \( 2 ∗ 1 \): thus, condition 1 of Definition 2.1 is not satisfied. This is similar to Puzzle 61. I'm tempted to say that, if we consider positive reals, the answer is yes -- I did not find any counterexample yet.

`Let \\(x_1, x_2, y_1, y_2\\) be \\(-2, -3, 2, 1\\), respectively. We have \\( −2 \le 2 \\) and \\(-3 \le 1\\). However, \\((-2) ∗ (-3) \\) is greater than \\( 2 ∗ 1 \\): thus, condition 1 of Definition 2.1 is not satisfied. This is similar to Puzzle 61. I'm tempted to say that, if we consider positive reals, the answer is yes -- I did not find any counterexample yet.`