УПРАВЛЕНИЕ БОЛЬШИМИ СИСТЕМАМИ
на главную написать письмо карта сайта

Интернет конференция по проблемам теории и практики управления

На этом форуме обсуждаются научные публикации, связанные с применением математических моделей в управлении сложными (большими) системами. Для размещения новой публикации воспользуйтесь ссылкой "Подать статью" сверху. С помощью той же ссылки подаются статьи для публикации в Сборнике "Управление большими системами". Все подаваемые в Сборник статьи автоматически публикуются в этой Интернет-конференции, но можно подать статью в Конференции, не подавая ее в Сборник.

Появление статьи в Интернет-конференции не говорит о том, что она опубликована или будет опубликована в Сборнике "Управление большими системами". Статьи в Интернет-конференции публикуются в первоначальной авторской редакции. Изменения, вносимые в статью редколлегией Сборника в процессе ее рассмотрения, не отображаются автоматически в Интернет-конференции. Авторы статей могут внести соответствующие изменения вручную, разместив ответ на сообщение со своей статьей в Интернет-конференции.

Поиск  Пользователи  Правила 
Закрыть
Логин:
Пароль:
Забыли свой пароль?
Регистрация
Войти  
Выбрать дату в календаре ...  Выбрать дату в календаре

Страницы: 1
ЭКВИВАЛЕНТНОСТЬ ДВУХ СПОСОБОВ УПОРЯДОЧЕНИЯ МНОЖЕСТВА МОРФИЗМОВ С ОБЩИМ ИСТОЧНИКОМ, В статье рассматривается категория Клейсли, построенная по монаде на категории множеств, ставящей в соответствие каждому множеству свободную в некотором многообразии универсальную алгебру, для которой это множество является множеством образующих. Рассмотр
Название: ЭКВИВАЛЕНТНОСТЬ ДВУХ СПОСОБОВ УПОРЯДОЧЕНИЯ МНОЖЕСТВА МОРФИЗМОВ С ОБЩИМ ИСТОЧНИКОМ
Автор: Александр Владимирович Жожикашвили
Аннотация:
В статье рассматривается категория Клейсли, построенная по монаде на категории множеств, ставящей в соответствие каждому множеству свободную в некотором многообразии универсальную алгебру, для которой это множество является множеством образующих. Рассмотрены два способа задания предпорядка на множестве морфизмов этой категории с фиксированным источником. Доказаны условия эквивалентности этих предпорядков для частного случая абсолютно свободных алгебр. Задача важна для развитой автором алгебраической теории продукционных систем. В этой теории действие продукции описывалось на языке сопоставления с образцом, а операция сопоставления была формализована в общем виде на языке теории категорий.
Ключевые слова:
сопоставление с образцом, продукционная система, теория категорий, универсальная алгебра
Страницы: 1

ИПУ РАН © 2007. Все права защищены