A gentle introduction to category theory --- the calculational approach (1992)

by Maarten M. Fokkinga
Venue:of Part 1. University of Utrecht