Topic: Adjunctions
-
What is the Eilenberg-Moore category of this diagonal-like monad?
-
What are the adjoint functor pairs corresponding to common monads in Haskell?
-
Adjoint functors in Algebra, Topology and Mathematical Logic - Has a nice explanation of adjunctions in terms of hom sets.
Topic: Naturality
The following 4 links are explanations on the topic of why the dual of a vector space is NOT a natural isomorphism while the double dual is.