"Arrows structures and functors. The categorical imperative" - читать интересную книгу автора (Michael A. Arbib)