"Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science)" - читать интересную книгу автора (David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigne)