"Category Theory Applied to Computation and Control" - читать интересную книгу автора (E.G. Manes)