/про теор.категорий не обязательно слушать ) /
чел, достаточно умный, эрудированный, многие вещи правильно
ну и мне стали более понятны источники того, что мне у него не нравится или того, что у него неверно на мой взгляд
но вот по поводу созидания курсов у него многое понравилось и иное тоже
но у них нет моей теоретической базы ) и они путаются во всех этих "чехардах" понятий, это примерно как у философов на философском штурме по поводу теории мышления и понятия понятия
--
теория мышления и понятие понятия
35 тем 9 авторов на сайте философский штурм
и многочисленные обсуждения в комментариях
https://deep-econom.livejournal.com/243211.html
--
ходят вокруг и около, но не могут подойти... и слава богу )
но все эти идеи витают в воздухе, все ходят вокруг и около, все щупают и пытаются кусать как могут
----
Девяносто шестое заседание, 12 ноября 2014г. (minutes)
1. Доклад Сергея Ковалёва (ИПУ РАН) "Теория категорий как математическое основание моделеориентированной системной инженерии".
-- математическое выражение эмерджентности
-- теория категорий для выражения трассировок и correspondence rules
-- теория категорий как язык для technical space плюс
-- теория категорий как возможный формализм для SysMoLan
https://incose-ru.livejournal.com/50098.html
----------
прослушал видео доклада
http://vimeo.com/111671795
пдф-ка со слайдами гуглится:
Ковалёв Теория категорий как математическое основание MBSE docslide.net_-mbse.pdf
----
рекомендую настоятельно послушать не сам даже доклад, а именно разглагольствования во время доклада и вокруг доклада
ps Отзыв на доклад
Про сегодняшнюю встречу в русском INCOSE
Великолепный, замечательный доклад Сергея Ковалева. Наконец-то нашелся человек, который владеет как языком теории категорий, так и терминологией системной инженерии.
http://sober-space.livejournal.com/84264.html