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 353
- 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

References to John's lectures: lecture 9.

I had some trouble making this one, repeatedly drawing things I later realized were false. The key realization for me was that everything hinges on the possible presence of "non-injective" and "non-surjective" elements in the codomain. With that understanding, I think I got the pictures correct.

Given how many mistakes I made, you may want to be extra-wary about trusting the details on this one : )

EDIT: And I did indeed have a big misunderstanding of how \(h_*\) works. I've updated with corrections and improvements.

*Revision history:*

*- 2018 06 18: Fixed errors in definition of \(h_*\). Better pictures and explanations of the adjunction behavior.*

*- 2018 05 26: First version.*

## Comments

`![picture](https://i.imgur.com/N9qjEpJ.png)`