Proportional algebras

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.