Proportional algebras, homomorphisms, congruences, and functors

This paper introduces proportional algebras as algebras endowed with the 4-ary analogical proportion relation where the fundamental concepts of subalgebras, homomorphisms, congruences, and functors are constructed.