Документ взят из кэша поисковой машины. Адрес оригинального документа : http://matematika.phys.msu.ru/files/stud_spec/179/CT_Info_09.pdf Дата изменения: Wed Mar 18 17:28:36 2009 Дата индексирования: Mon Oct 1 23:54:37 2012 Кодировка:

, . , , , , , .. . , ( , ), . ("" ) ("" ). , , , ( ) , . . , , . , , .


, , , , , (), , .


- . : , , .





· . · (, - ), (.. , ). · . · .


· ; . · . · . · . · .

,
· . · . · . · Top -> Set.

()
· . · -. , · . · . · .


· Arbib M. A., Manes E. G. Arrows, Structures and Functors, New York: Academic Press. · . . . .: . · . . . .: , 1974. · . ., . · MacLane S. Categories for the Working Mathematician, Graduate texts in mathematics 5. New York: Springer. · Manes E. G. Algebraic Theories, Graduate texts in mathematics 26. New York, Springer. · . ., . . . .: , 1986.


· ., . · ., . , . 1. · . . , , 1998, . 34, 3, 60-80 · . ., .
, .35 3, .109-127, 1999.

· Golubtsov P.V., Monoidal Kleisli Category as a Background for Information Transformers Theory. (Information processes). , 2, 1, . 62-84, 2002 (http://www.jip.ru/2002/2-1-2002.htm).