Here is a great "An introduction to Category Theory for Software Engineers"

http://www.cs.toronto.edu/~sme/presentations/cat101.pdf