Category Theory - nidottu, Englanti, 1982