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