"Basic category theory for computer scientists" - читать интересную книгу автора (Benjamin C. Pierce)