Basic category theory for programmers
blog.scalents.com