Category Theory, The essence of interface-based design - Erik Meijer
In brief
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.