Без заголовка

>>Это некоторый радикализм -- во-первых, я не думаю, что общая подготовка будет включать в себя много-много сложной математики (и без нее там хватает сложностей), квантовой физики (это в спецкурсы) и т.д., а во-вторых, переформулировки для всей Программы в терминах категорной логики займут время и ресурсы, сравнимые со временем и ресурсами очередной переделки Программы в связи с очередным развитием всех поминаемых в ней областей знания (думаю, речь идет где-то о десятке лет). Я думаю, это может занять и гораздо больше лет (я как-то сравнивал теорию категорий в этом плане с древнегреческой математикой - возможно, это идея даже и не для нашей цивилизации). C другой стороны, есть большая надежда на то, что графические исчисления могут сильно упростить этот процесс. Я например мог бы (если было бы время) подготовить и написать курс, где я бы вообще не пугал людей строгими определениями и перекрестными ссылками на другие разделы, но через неделю-две они могли бы уже делать расчеты (имея некоторый минимальный пороговый интерес к математике и этой теме).