Здравствуйте, Шахтер, Вы писали:
Ш>Здравствуйте, desperado_gmbh, Вы писали:
_>>Здравствуйте, Шахтер, Вы писали:
Ш>>>Вопрос на засыпку -- многие ли программисты знают, что такое интеграл Лебега?
_>>Изоморфизм Карри-Ховарда и основы теории категорий для обсуждаемых целей полезнее
Ш>Пожалуй. Но я боюсь, программистов, знающих теорию категорий, ещё меньше, чем знающих интеграл Лебега.
Вот покапал эту сеть

:
то что
здесь написано это кажись все, что дает хоть какое-то представленине о этой теории?
Почему бы кому-нить, кто затрагивал в ВУЗе данный предмет и разберется в терминологических тонкостях, не попереводить материал на родной язык, который выложен хотя бы
вот тут 
... коли это так полезно знать программистам

Отечество вас незабудет, дорогие патриоты