On the paracompactness of frames
Through the study of frame congruences, new characterizations of the paracompactness of frames are obtained.
On binary coproducts of frames
The structure of binary coproducts in the category of frames is analyzed, and the results are then applied widely in the study of compactness, local compactness (continuous frames), separatedness, pushouts and closed frame homomorphisms.
Page 1