You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
In the last few years, I've developed a certain idea/opinion/bias that may be worth putting out there and having challenged by the community at large. In my view, a good way to motivate adjunctions is through the concept of duality, which permeates our way of thinking about mathematical objects (from very basic ones, like the relationship between closed and open sets, to higher level abstractions, like scheme theory).
Let me point out that whether contravariant equivalences are sufficient to encode dualities in general is debatable, as there are counterexamples to such an idea, for example Isbell duality. So, my claim is that adjunctions are associated with a "relaxed" version of duality (or, perhaps, the right version of it). This leads me to believe that the centrality of adjunctions in mathematics may stem from the fact that they embody a form of duality that "makes more sense": strong enough to be useful and meaningful in many contexts, yet weak enough to be flexible and widely applicable.
In particular, I feel that duality deserves more attention when motivating adjunctions in mathematical discussions, especially since it is more familiar and intuitive for those coming from outside category theory.
In line with Urs Schreiber's thinking, e.g., here:
There's an article of mine you might enjoy:
Lambek had a more specific view, that you could think of Adjunctions as "an amusing analogy" for the unity of opposites. He talked about this in his paper "The influence of Heraclitus on modern mathematics", as well as noting that Lawvere saw an opportunity to make this philosophical idea fully precise.
Lawvere's approach for modeling unity of opposites involves three functors with two adjunctions(a nice stack exchange answer on this: https://math.stackexchange.com/questions/2357569/can-you-explain-lawveres-work-on-hegel-to-someone-who-knows-basic-category-theo)
Lambek was fine with just one adjunction.
I don't know enough philosophy to speak on the relative merits of their approaches.
Alex Kreitzberg said:
Lawvere's approach for modeling unity of opposites involves three functors with two adjunctions
The nLab talks about that at [[adjoint modality]].
Of course, an [[adjoint triple]] is a kind of adjunction of adjunctions:
I struggle with the "primordial ooze" of category theory. After the tenth "A this is just a that" I stopped trying to explain things in terms of other things and just try to keep track of mental pictures for each widget.
But that feels somehow like the opposite of what you're supposed to do in category theory :laughing:.
Maybe there's an adjunction between understanding just one thing and understanding everything related to one thing. (As I say that as a joke I immediately wonder "is that a, too weak, statement of the yoneda lemma?" This subject never lets me relax!)
After the tenth "A this is just a that" I stopped trying to explain things in terms of other things and just try to keep track of mental pictures for each widget.
I think it's good to develop a mental image of each widget and use these to see why various "a this is just a that" facts are true. For example I can see why a monoid object in the bicategory of spans of sets is just... a category! At first this seemed like a very 'abstract' and scary fact, which was easy to forget, but now I can just see it.
(I'm using visual metaphors for understanding because I do in fact have a mental image of what's going on here, but verbal, non-visual understanding is also powerful and can be better.)
I'm curious whether the mental image is an image of a span, eg of the actual glyphs as you'd write them out to check this result, or an image of some particular elements of this span.
The notation is a nice instance of the microcosm principle, since if these are sets I see each one as a bag of dots, and each dot in gets mapped to two dots in thus:
though in my imagery it's important that those arrows point diagonally down.
David Corfield said:
Alex Kreitzberg said:
Lawvere's approach for modeling unity of opposites involves three functors with two adjunctions
The nLab talks about that at [[adjoint modality]].
Of course, an [[adjoint triple]] is a kind of adjunction of adjunctions:
is the opposite true? is any adjunction of adjunctions of that form?
Yes, in the sense that there's an equivalence:
Oh, was the question whether there are cases of
with and distinct?
exactly!
I think the 2-cells between adjunctions are natural transformations between the component functors. That would mean that an adjunction between the adjunctions makes the involved functors adjoint also. In other words we would have , which makes by essential uniqueness of adjoints.