2 мая 2010 · Комментарий

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

Имя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на запись

>>ISO 15926 в качестве одного из своих формализмов указывает на теорию категорий. Это означает, что есть шанс попробовать и моноидальные диаграммы для записи (аккуратно скажем) в языке, эквивалентном части 2 или даже эквивалентном части 7. Пока ничего такого не придумывается. Т.е. я примерно вижу, как сделать категорную семантику для ISO 15926 (в формулах), но она наглядности не добавит: моноидальные диаграммы будут тут бедноваты, либо я не вижу пока математического решения. В тех обсуждениях, что Вы давали на прочит, даже того, что вижу я - нет. Все очень и очень отдаленно. Поэтому пока решил поближе войти в тематику, а потом уже додумывать насчет нотаций.