Boolean algebras with a unary operator
Boolean concept lattices and good contexts
Bourbaki's Fixpoint Lemma reconsidered
A constructively valid counterpart to Bourbaki’s Fixpoint Lemma for chain-complete partially ordered sets is presented to obtain a condition for one closure system in a complete lattice to be stable under another closure operator of . This is then used to deal with coproducts and other aspects of frames.