Abstract
LetL be a finitary language and letK be a subcategory of the category of allL-models andL-morphisms. For aK-objectA we consider two definitions of aK-congruence relation onA: that given by Rosenberg and Sturm [2], and that given by Adámek [1]. Both definitions are external definitions in the sense that they depend on the otherK-objects. IfK is a full subcategory, such that theK-objects form a quasivariety, then it is shown that the definitions ofK-congruence are equivalent and a purely internal characterisation is given.
Similar content being viewed by others
References
Adámek. J.,Theory of Mathematical Structures. D. Reidel Publishing Company, Dordrecht, 1983.
Rosenberg, I. G. andSturm, T.,Congruence relations on finitary models. Czech. Math. J. (1992), in print.
Sturm, T.,Verbände von Kernen isotoner Abbildungen. Czech. Math. J.22 (1972), 126–144.
Author information
Authors and Affiliations
Additional information
I am indebted to Professor Teo Sturm as this paper originated from his seminar series on Algebraic Structures.
Rights and permissions
About this article
Cite this article
Jordens, O. Two equivalent definitions of a congruence on a finitary model in a quasivariety. Algebra Universalis 29, 513–520 (1992). https://doi.org/10.1007/BF01190778
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01190778