Category Theory - heftet, Engelsk, 1982