"Category Theory and Computer Science 1987" - читать интересную книгу автора (David H. Pitt, Axel Poigne, David E. Rydeheard)