FooCafe
Category Theory, The essence of interface-based design - Erik Meijer
About this video
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.
