Relational Sets and Categorical Equivalence of Algebras
Relational Sets and Categorical Equivalence of Algebras
复制标题
关系集和代数的范畴等价
DOI:
10.1142/s0218196797000253
复制
发表时间:
1997
期刊:
影响因子:
--
通讯作者:
L. Zádori
中科院分区:
文献类型:
--
作者:
L. Zádori
We study relation varieties, i.e. classes of relational sets (resets) of the same type that are closed under the formation of products and retracts. The notions of an irreducible reset and a representation of a reset are defined similarly to the ones for partially ordered sets. We give a characterization of finite irreducible resets. We show that every finite reset has a representation by minimal resets which are certain distinguished irreducible retracts. It turns out that a representation by minimal resets is a smallest one in some sense among all representations of a reset. We prove that non-isomorphic finite irreducible resets generate different relation varieties. We characterize categorical equivalence of algebras via product and retract of certain resets associated with the algebras. In the finite case the characterization involves minimal resets. Examples are given to demonstrate how the general theorems work for particular algebras and resets.