In mathematics, especially in order theory, a complete Heyting algebra is a Heyting algebra which is complete as a lattice. Complete Heyting algebras are the objects of three different categories; the category CHey, the category Loc of locales, and its opposite, the category Frm of frames. Although these three categories contain the same objects, they differ in their morphisms, and thus get distinct names. Only the morphisms of CHey are homomorphisms of complete Heyting algebras.
Locales and frames form the foundation of pointless topology, which, instead of building on point-set topology, recasts the ideas of general topology in categorical terms, as statements on frames and locales.
Read more about Complete Heyting Algebra: Definition, Examples, Frames and Locales, Literature
Famous quotes containing the words complete and/or algebra:
“I see advertisements for active young men, as if activity were the whole of a young man’s capital. Yet I have been surprised when one has with confidence proposed to me, a grown man, to embark in some enterprise of his, as if I had absolutely nothing to do, my life having been a complete failure hitherto. What a doubtful compliment this to pay me!”
—Henry David Thoreau (1817–1862)
“Poetry has become the higher algebra of metaphors.”
—José Ortega Y Gasset (1883–1955)