• 0:00 - Intro
• 0:58 - Definition
  • cata
    • objects
    • arrows
    • composition
    • associativity
    • identity
  • ex
    • arrow f
    • start A A= domain of f = dom(f)
    • B = cod(f)
    • 5:40 sets paradox
• 6:02 - Set
  • composite (g o f)(x) = g(f(x))
  • f o id = f
• 9:46 - Category of Proofs
  • proposition
  • => implication
  • P => Q
  • arrow:
    • rules of inference
  • P ^ P => Q / Q
  • Modes Ponens
• 16:00 - Functional Programming
• 18:34 - Outro

created on: Wed May 06 2026