nLab complete Heyting algebra



Topos Theory

topos theory



Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory


(0,1)(0,1)-Category theory



A complete Heyting algebra is a Heyting algebra which is also a complete lattice; that is, it is a poset with arbitrary limits and colimits, which is also cartesian closed.

By the adjoint functor theorem, one can demonstrate that every frame is a complete Heyting algebra, and vice versa, so far as the underlying poset goes. However, morphisms of frames needn’t preserve exponentials or infinitary meets, as would most naturally be required of morphisms of complete Heyting algebras. Also, when considering large lattices which are only small-complete, then frames and complete Heyting algebras are different objects.

Last revised on August 2, 2019 at 06:22:58. See the history of this page for a list of all contributions to it.