[Jul 20th] Talking Points - Chapter 10 Natural Transformations

[chiroptical]

• Introduction, "commuting squares", and the "natural isomorphism"
• Natural transformations in Haskell and parametric polymorphism
  • Confused by alpha :: Reader () a -> Maybe a, How is a Nothing ever possible?
• The Functor Category and Cat
• 2-Category
  • Objects: categories
  • 1-morphisms: Functors between categories
  • 2-morphisms: Natural transformations between Functors