Category Theory for the Working Hacker
infoq.com