Erik Meijer: Category Theory as Interface-Based Design
FooCafe · Talk · YouTube title: Category Theory, The essence of interface-based design - Erik Meijer
Why it's here
It is cited as an authoritative take on category theory for programmers and API design.
What it covers
Erik Meijer argues that category theory is the mathematicians' version of interface-based design. He shows that Java 8 lambdas and method references form a Cartesian closed category.