On embeddings of relational categories into algebraic categories

Abstract

We show that the fundamental relationship between relational systems and universal algebras, i. e. the relationship that universal algebras are special cases of relational systems,is valid also conversely: relational systems can be considered as specia universal algebras.This result is formulated on the category theoretical level - for relational systems we defìne a special type of homomorphisms with respect to which relational categories can be embedded into algebraic categories.