Abstract
Complete lattices are regarded as algebras whose operations are joins and meets of arbitary arities. We show that, unlike algebras of classical algebraic theories, they admit implicit operations (operations compatible with homomorphisms) which are not induced by terms and that there are more than a proper class of such “wild” operations. We show how they are related to terms.
Similar content being viewed by others
References
O. Garcia andE. Nelson,On the non-existence of free complete distributive lattices, Order1 (1985), 399–403.
A. W. Hales,On the non-existence of free complete Boolean algebras, Fund. Math.54 (1964), 45–66.
J. R. Isbell,General functorial semantics, I, Amer. J. Math. XCI (1972), 535–596.
F. W. Lawvere,Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. U.S.A.50 (1963) 869–872.
F. E. J.Linton, Functorial Measure Theory, Proc. Conf. Functional Analysis Irvine 1966, Thompson (1967), 36–49.
F. E. J. Linton,Some aspects of equational categories, Proc. Conf. Categorical Algebra, La Jolla 1965, Springer Verlag 1966, 84–94.
E. G.Manes,Algebraic theories, Springer Verlag 1976.
E. Mendelson,Introduction to mathematical logic, D. Van Nostrand Comp., Princeton 1966.
J. Reiterman,On locally small based algebraic theories, Comment. Math. Univ. Carolinae27 (1986), 325–340.
J. Reiterman,Structure-semantics relation for non-varietal equational theories, Alg. Univ.10 (1980), 399–401.
J. Rosicky,A note on algebraic categories, Arch. Math. 3, Scripta Fac. Sci. Nat. UJEP Brunensis XVIII (1982), 163–168.
Author information
Authors and Affiliations
Additional information
In Memory of Evelyn Nelson
Rights and permissions
About this article
Cite this article
Reiterman, J. The category of complete lattices as a category of algebras. Algebra Universalis 26, 367–379 (1989). https://doi.org/10.1007/BF01211843
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01211843