"Category Theory and Computer Science, 6 conf., CTCS '95" - читать интересную книгу автора (D. E. Rydeheard, David Pitt, David E. Rydeheard, Peter Johnstone)