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