Автор: Александр Владимирович Жожикашвили
Аннотация:
В статье рассматривается категория Клейсли, построенная по монаде на категории множеств, ставящей в соответствие каждому множеству свободную в некотором многообразии универсальную алгебру, для которой это множество является множеством образующих. Рассмотрены два способа задания предпорядка на множестве морфизмов этой категории с фиксированным источником. Доказаны условия эквивалентности этих предпорядков для частного случая абсолютно свободных алгебр. Задача важна для развитой автором алгебраической теории продукционных систем. В этой теории действие продукции описывалось на языке сопоставления с образцом, а операция сопоставления была формализована в общем виде на языке теории категорий.
Ключевые слова:
сопоставление с образцом, продукционная система, теория категорий, универсальная алгебра