хранилище/kolxo3/issue5─6/DVD05/M_Mathematics/MA_Algebra/MAct_Category theory/
01 000952 Asperti A., Longo G. Categories, types, and structures. Introduction to category theory for computer scientists (1990)(295s).pdf [request] 02-09-2013:01-12

02 000953 Rydeheard D.E., Burstall R.M. Computational category theory (c. 1990)(263s).pdf [request] 02-09-2013:01-12

03 000954 Sketches. A supplement for Category theory for computing science (PH, 1996)(107s).pdf [request] 02-09-2013:01-12