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

chiroptical / ctfp-book-club

Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski

24 stars 6 forks source link

Closed chiroptical closed 4 years ago

chiroptical commented 4 years ago

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