Add link to 'An introduction to Category Theory for Software Engineers, by Steve Easterbrook'.