The first example is trivial, and serves as an illustrative but useless example (which I don't need).
I don't know enough about the second example.
Re:Why I am learning category theory
by solomatov on Thursday December 01, 2022 @10:14AM
(#33817283)
>The first example is trivial, and serves as an illustrative but useless example (which I don't need).
Yep. Most of the example of adjoints trivial if you know the field of math where they are used. The interesting part is why it happens almost everywhere.
- Adjoint between integers and real numbers: https://math.stackexchange.com/questions/598075/find-the-lef...
- Adjoint between lattices in abstract interpretation. I.e. abstraction relation between abstract and real interpreter.