[May 18th] Talking Points - Chapter 9 Function Types
chiroptical opened this issue · 0 comments
chiroptical commented
- External and internal hom-sets
- Universal construction and the function object
- Function objects and currying and uncurrying
- Exponentials and cardinality
- Cartesian closed categories
- Exponentials and ADTs
- Curry-Howard isomorphism