Teaching Category Theory to Computer Scientists
blog.sigplan.org