"Computational Category Theory" - читать интересную книгу автора (D E Rydeheard R M Burstall )