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