Abstract: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.
Keywords: frame, binary coproduct, pushout, compactness, separatedness, continuous frame, closed homomorphism, $D(\kappa )$-frame
AMS Subject Classification: 06A15, 18A20, 18A30, 54C10, 54D10, 54D30, 54D45