Add link to Introduction to Category Theory, course by Graham Hutton.