http://kolhoz.tiera.ru/M_Mathematics/MA_Algebra/MAct_Category%20theory/Rydeheard%20D.E.,%20Burstall%20R.M.%20Computational%20category%20theory%20(c.%201990)(263s).pdf