К ЭКВИВАЛЕНТНОСТИ КАТЕГОРИЙ МОДЕЛЕЙ И УНИВЕРСАЛЬНЫХ АЛГЕБР
Доказывается эквивалентность категории моделей и специальной категории универсальных алгебр. Конструкция может быть использована для построения алгоритмов обработки реляционных баз знаний. Целью настоящей заметки является построение категории U-ALGEBRAS, эквивалентной категории моделей одной и той же сигнатуры с многозначными гомоморфизмами в качестве морфизмов. Объектами категории U-ALGEBRAS служат однотипные универсальные алгебры, морфизмами -гомоморфизмы универсальных алгебр. Конструкция носит теоретико-множественный, алгебраический характер.