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