Congruences and homomorphisms on -algebras
The topic of the paper are -algebras, where is a complete lattice. In this research we deal with congruences and homomorphisms. An -algebra is a classical algebra which is not assumed to satisfy particular identities and it is equipped with an -valued equality instead of the ordinary one. Identities are satisfied as lattice theoretic formulas. We introduce -valued congruences, corresponding quotient -algebras and -homomorphisms and we investigate connections among these notions. We prove...