Эквивалентность двух способов упорядочения множества морфизмов с общим источником

Работа посвящена решению математической задачи, возникшей в исследованиях автора по продукционным системам. Одним из способов управления сложными си-стемами является использование экспертных систем и аналогичных им интеллектуальных компьютерных систем, основанных на знании. Многие системы подобного рода основаны на использовании правил или продукций. В своих работах автор построил математическую теорию таких систем, основанную на аппарате теории категорий. Одним из основных понятий этой теории является понятие образца – описания множества ситуаций, в которых пра-вило применимо. Важными с теоретической точки зрения являются вопросы о том, насколько точно образец опреде-ляется множеством описываемых им ситуаций. В работе решена одна из задач, относящейся к этому кругу вопросов.