"Applications of Categories in Computer Science: Proc. London Math. Soc. Symp., Durham 1991" - читать интересную книгу автора (M. P. Fourman, P. T. Johnstone, A. M. Pitts)