Морфизмы

[ailev]

Такое впечатление, что теоркатегорщики серьёзно взялись за дело: они действительно ставят деятельность по переформулированию самых разных теорий на промышленную основу. Нам предлагается оригинальная онтология, в терминах которой можно более-менее единообразно описать всё что угодно. Так, используемые в информатике "трансляция", "перевод", "мэппинг

Comments

[avlasov]

Я уже пару лет назад понял, что я совсем не математик :).
Т.е. теорию типов я еще могу разуметь, даже наверное в каком-нить новомодном observational расширении, но теорию категорий уже тяжело.
Хотя мне Осман объяснял, вроде понятно, но у самого моск на эту тему не фокусируется совсем :).

[clayrat]

ну да информатика в идеале должна заниматься отдельно синтаксисом, семантикой и прагматикой

[clayrat]

Goguen кстати придумал семейство языков, в итоге превратившихся в Maude

[ailev]

Maude, кстати, вполне жив. У них версия 2.6 вышла в апреле 2011 года, и куча проектов не только в США, но и Испании (например, http://moment.dsic.upv.es/). Они определяют Maude и в том числе как семиотический фреймворк (а не только как логический фреймворк), что примерно соответствует моему пониманию единства всех этих подразделов информатики.

[fractaler]

Мир у нас один, многие термины для его описания пока синонимичны (избыточность). Действительно, по закону эволюции материи (это только один из примеров наблюдаемых фактов) должна произойдёт унификация (стандартизация). Можно открывать топик на тему "Когда?" (тут, правда, нужны цифры и формулы для точного прогноза)

[ailev]

Или наоборот, по тому же закону эволюции произойдёт взрыв разнообразия, типа кембрийского взрыва :-)

[fractaler]

Нет, многочисленные факты (напр., здесь http://protomodel.ucoz.ru/publ/1-1-0-26 ) доказывают, что, т.к. сейчас разнообразие у нас уже есть, то как раз должен произойти переход к этапу "однообразия". Скорее всего в формате единой модели мира

[a2danov]

Если убрать синонимичность освободятся ресурсы мозга, которые отвечали за поддержание этого разнообразия. Свободные ресурсы мозга можно будет занять увеличением сложности обрабатываемых моделей. Увеличением концептов

[x_ghbdtn]

А пока -- оставь надежду, всяк сюда входящий не-математик...Не слишком ли пессимистично звучит

[clayrat]

насчет применения теорката недавно был еще такой хлопок дверью ;)
http://ivan-gandhi.livejournal.com/2042782.html
http://ivan-gandhi.livejournal.com/2044397.html

[clayrat]

я кстати недавно взялся пролистать наличествующие статьи по применению теорката в биологии
внятного мало, но надо себя заставить написать обзор в http://sys-bio.livejournal.com/

[x_ghbdtn]

А Лейнстера видели? У него тут работы по энтропии и биоразнообразию:
http://www.maths.gla.ac.uk/~tl/