"Computational Category Theory (Prentice-Hall International Series in Computer Science)" - читать интересную книгу автора (D. E. Rydeheard, Burstall)