Category Theory 1.1: Motivation and Philosophy
Bartosz Milewski · 46:46 · Watch on YouTube
This lecture argues category theory is the highest-level abstraction language above Haskell and functional programming, unifying programming, logic, and mathematics because human brains can only understand complexity...