"Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)" - читать интересную книгу автора (Andrea Asperti, Giuseppe Longo)