[May 18th] Talking Points - Chapter 9 Function Types

[chiroptical]

• 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