Category Theory, The essence of interface-based design - Erik Meijer