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

- All Categories 2.4K
- Chat 505
- Study Groups 21
- Petri Nets 9
- Epidemiology 4
- Leaf Modeling 2
- Review Sections 9
- MIT 2020: Programming with Categories 51
- MIT 2020: Lectures 20
- MIT 2020: Exercises 25
- Baez ACT 2019: Online Course 339
- Baez ACT 2019: Lectures 79
- Baez ACT 2019: Exercises 149
- Baez ACT 2019: Chat 50
- UCR ACT Seminar 4
- General 75
- Azimuth Code Project 111
- Statistical methods 4
- Drafts 10
- Math Syntax Demos 15
- Wiki - Latest Changes 3
- Strategy 113
- Azimuth Project 1.1K
- - Spam 1
- News and Information 148
- Azimuth Blog 149
- - Conventions and Policies 21
- - Questions 43
- Azimuth Wiki 719

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!`