"Categories in Computer Science and Logic" - читать интересную книгу автора (John W. Gray, Andre Scedrov)