For those want a great intro and overview of category theory aimed at programmers, Bartosz Milewski's lecture series on YouTube [0] is worth the time investment. It covers the topics this post discusses and more, but crucially with plenty of context to help understand why any of it matters.

0: http://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7...