Девяносто шестое заседание, 12 ноября 2014г. (minutes)

[ailev]

1. Доклад Сергея Ковалёва (ИПУ РАН) "Теория категорий как математическое основание моделеориентированной системной инженерии".
-- математическое выражение эмерджентности
-- теория категорий для выражения трассировок и correspondence rules
-- теория категорий как язык для technical space плюс
-- теория категорий как возможный формализм для SysMoLan

Эпиграф: http://asylums.insanejournal.com/atlas_farted/1741.html

Видео (http://vimeo.com/111671795):


Слайды (http://www.slideshare.net/ailev/mbse-41476589):


Отзыв: http://sober-space.livejournal.com/84264.html