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 24
- Exercises - Programming with Categories Course 15
- Mini-Talks - Programming with Categories Course 3
- 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

Does \( F := \lfloor −/3\rfloor \) have a right adjoint \( R : \mathbb{N} \rightarrow \mathbb{N} \) ?

If not, why?

If so, does its right adjoint have a right adjoint?

## Comments

This seems to now be Exercise 80 in the latest draft (April 20th).

\(F\) does indeed have a right adjoint \(R : \mathbb{N} \to \mathbb{N}\); it is defined by \(R(x) = 3(x + 1) - 1\). (One can alternately write \(3x + 2\), but this version changes less as you change the modulus.)

\(R\) does

nothave a right adjoint of its own. Suppose it did, and call it \(R'\). Then \(0 \le R'(0)\), since 0 is the minimum of \(\mathbb{N}\). So we expect \(R(0) \le 0\); however, \(R(0) = 3(0 + 1) - 1 = 2\), which is strictly greater than \(0)\). Therefore, \(R\) cannot have a right adjoint.`This seems to now be Exercise 80 in the latest draft (April 20th). \\(F\\) does indeed have a right adjoint \\(R : \mathbb{N} \to \mathbb{N}\\); it is defined by \\(R(x) = 3(x + 1) - 1\\). (One can alternately write \\(3x + 2\\), but this version changes less as you change the modulus.) \\(R\\) does _not_ have a right adjoint of its own. Suppose it did, and call it \\(R'\\). Then \\(0 \le R'(0)\\), since 0 is the minimum of \\(\mathbb{N}\\). So we expect \\(R(0) \le 0\\); however, \\(R(0) = 3(0 + 1) - 1 = 2\\), which is strictly greater than \\(0)\\). Therefore, \\(R\\) cannot have a right adjoint.`

I fixed the typo you caught; can renumber this and other exercises as needed when I have a bit of time.

`I fixed the typo you caught; can renumber this and other exercises as needed when I have a bit of time.`