"Categories in computer science and logic" - читать интересную книгу автора (Gray J.W., Scedrov A. (eds.))