"Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991 (London Mathematical Society Lecture Note Series) " - читать интересную книгу автора (M. P. Fourman, P. T. Johnstone, A. M. Pitts)