GooseThief rated Basic category theory for computer scientists: 2 stars April 9, 2013 Public Basic category theory for computer scientists by Benjamin C. Pierce