B blog.sigplan.org Teaching Category Theory to Computer Scientists 1 points lameda 3 years ago 0 comments