"Computational category theory" - читать интересную книгу автора (D. E. Rydeheard, Burstall)