This paper introduces proportional algebras as algebras endowed a the 4-ary analogical proportion relation satisfying a suitable set of axioms, where the fundamental concepts of subalgebras, homomorphisms, congruences, and functors are constructed.
translated by 谷歌翻译