Premium
Initial Objects, Universal Objects for Squares, Equivalences and Congruences in Relation Semi‐Algebras and Algebras
Author(s) -
Olivier JeanPierre,
Serrato Dany
Publication year - 1995
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19950410404
Subject(s) - congruence relation , mathematics , functor , equivalence (formal languages) , equivalence relation , relation (database) , algebra over a field , element (criminal law) , pure mathematics , relation algebra , algebra representation , cellular algebra , computer science , database , political science , law
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.