Re-added Category Theory for Computing Science with udpated link.
Merge pull request #920 from jeffdc/master

Re-added Category Theory for Computing Science with updated link.