caa a22 4500 469027037 CHVBK 20180323132732.0 cr unu---uuuuu 170328e19921201xx s 000 0 eng 10.1007/BF01190778 doi (NATIONALLICENCE)springer-10.1007/BF01190778 Jordens Olav Department of Mathematics, University of Natal, King George V Avenue, 4001, Durban, South Africa aut Two equivalent definitions of a congruence on a finitary model in a quasivariety [Elektronische Daten] [Olav Jordens] 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. Birkhäuser Verlag, 1992 algebra universalis Birkhäuser-Verlag 29/4(1992-12-01), 513-520 0002-5240 29:4<513 1992 29 12 https://doi.org/10.1007/BF01190778 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF01190778 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Jordens Olav Department of Mathematics, University of Natal, King George V Avenue, 4001, Durban, South Africa aut NATIONALLICENCE 773 0- algebra universalis Birkhäuser-Verlag 29/4(1992-12-01), 513-520 0002-5240 29:4<513 1992 29 12 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer