TO THE EQUIVALENCE OF THE CATEGORIES OF MODELS AND UNIVERSAL ALGEBRAS
The category equivalence of models and special universal algebras is proved. This result can be used to construct the processing algorithms of different intelligent relation databases. The purpose of this paper is to build the new category called U-ALGEBRAS, which is equivalent to the the MODELS category of the same signature with multivalued homomorphisms as morphisms. The objects of the U-ALGEBRAS category are the same type universal algebras; and morphisms are homomorphisms of universal algebras. The construction has the set-theoretic, algebraic character.