关系规范代数范畴(Ω,R,E)-alg中自由对象的存在性(英文)

本文给出（Ω，R）－代数直积的概念，证明范畴（Ω，R，E）－alg关于子代数、直积和同态像运算封闭。从而得到该范畴中自由对象的存在性定理。最后讨论关系规范代数约化的概念及其性质。