Abstract#R##N##R##N#In this paper the descriptions of the relation semi-algebra generated by an equivalence element and the relation algebra generated by an equivalence element are unified by functorial constructions. Here the developed techniques and ideas lead to a more manageable conceptual construction of universal objects for the functors of squares and special congruences.
['Jean-Pierre Olivier', 'Dany Serrato']
Initial Objects, Universal Objects for Squares, Equivalences and Congruences in Relation Semi-Algebras and Algebras