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