Readings in Category Theory

cat.md

Topic: Adjunctions

1. TheCatsters playlist

2. An Adjunction That Induces the Reader Monad

3. What is the Eilenberg-Moore category of this diagonal-like monad?

4. What are the adjoint functor pairs corresponding to common monads in Haskell?

5. Comonads as Spaces

6. Naturality condition for adjoint functors

7. Do adjoint functors “preserve” commutative diagrams?

8. From adjunctions to monads

9. Monads as Adjunctions

10. From mathematics to map-reduce

11. 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.

1. dual space is a vector space

2. Dual Space Isomorphism

3. The Isomorphism of a Linear Space with Its Dual and Double Dual

4. Motivation to understand double dual space