Teaching Category Theory to Computer Scientists