Add link to 'Category Theory for Computing Science'.