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