Years ago a read an introduction to category theory, and it was very obvious that it influenced object oriented programming.