"Categories, types, and structures. Introduction to category theory for computer scientists" - читать интересную книгу автора (Andrea Asperti, Giuseppe Longo)