"Category theory for computing science" - читать интересную книгу автора (Barr M., Wells C.)