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 354
- Applied Category Theory Seminar 4
- Exercises 149
- Discussion Groups 49
- How to Use MathJax 15
- Chat 480
- Azimuth Code Project 108
- News and Information 145
- 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 39

Options

I had the idea to collect the struggles that we (or atleast a non-empty subset of us) had during learning chapter 1. Very likely future learners will struggle with those same concepts, so we can save them some time. Also, it is encouraging to see that even the best do not grasp everything instantly :)

I will create one such thread per chapter. Later on, the answers can be composed by topic if need be. Let me now what you think and especially where you struggled yourself! I am also open for change in terminology. (Is No Pains, no Gains suitable? are struggle and resolution as used below the correct terms?) My proposed format:

**Struggle:** < A struggle in the form of a question or a description >

**Resolution:** < Short informal solution, optionally with the some formalism >

## Comments

Struggle:So can a right adjoint exist without a right adjoint? Can we look for a right adjointonly? (and vice versa for left and right.)Resolution:No, a left adjoint always comes with a right adjoint and vice versa. When the question is "Is there a right adjoint \( g(y) \) to \( f(x)? \)" that more clearly means: "Is there a right adjoint \( g(y) \) such that \( f(x) \) is its left adjoint?"`**Struggle:** So can a right adjoint exist without a right adjoint? Can we look for a right adjoint *only*? (and vice versa for left and right.) **Resolution:** No, a left adjoint always comes with a right adjoint and vice versa. When the question is "Is there a right adjoint \\( g(y) \\) to \\( f(x)? \\)" that more clearly means: "Is there a right adjoint \\( g(y) \\) such that \\( f(x) \\) is its left adjoint?"`

Struggle: Getting left and right adjoints straight, intensional vs. extensional equality of functions.Resolution: Writing code to calculate left and right adjoints for simple posets helped me to clarify this quite a bit, though I think working through many more examples will help. Eventually, I'll post a link to some code here when it's in better shape.`**Struggle**: Getting left and right adjoints straight, intensional vs. extensional equality of functions. **Resolution**: Writing code to calculate left and right adjoints for simple posets helped me to clarify this quite a bit, though I think working through many more examples will help. Eventually, I'll post a link to some code here when it's in better shape.`

That would be great!

`> Eventually, I'll post a link to some code here when it's in better shape. That would be great!`