adjunction

Why would the author add this parenthesis if it was not a necessary adjunction to his point?

Go out and find an arbitrary adjunction, and it's likely that it leads to a useful and/or interesting monad.

There's also an attempt to use adjunctions to explain "generalization" which might be relevant [1].

"It is simply not true that adjunction of adverbials has the same properties as expletive infixation.

No need for a lot of fertilisers : the organic soil is actually growing from the constant adjunction of carbon, and beans are fixing the nitrogen in the soil.

For more elaborate applications of containers, see zippers — which involve an adjunction in the form of a differentiation structures.

Why is dedicated standard library support needed, when you can recover it from tuples, single-argument functions and Hom-tensor adjunctions[0]?

I don't understand how learning the definition of a limit, colimit, adjunction, pushforwards, pullbacks, equalisers, co-equalisers and the Yoneda lemma, can help you write code.

The key concepts to learn are: category, functor, natural transformation, adjunction, universal property, limit and dualisation.

This universal property is elegant and immediately gives the Hom-tensor adjunction, but to show that tensor products satisfying it actually exist you'll need an explicit construction, which can be done by quotienting a free module.

It especially shortchanges the math-aware software professional who would appreciate experiencing the galois correspondence which later morphs into an adjunction in category theory.

If we consider pure computations only [no effects, not even nontermination], this adjunction is actually an equivalence of categories.---> Yeah, Rust does something nice, too, but every operation allowed by Clojure is also allowed by Rust.