On binary coproducts of frames. (English) Zbl 0824.54004
Summary: 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.
MSC:
54B30 | Categorical methods in general topology |
18A30 | Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) |
06B23 | Complete lattices, completions |
18A20 | Epimorphisms, monomorphisms, special classes of morphisms, null morphisms |
54C10 | Special maps on topological spaces (open, closed, perfect, etc.) |
54D10 | Lower separation axioms (\(T_0\)–\(T_3\), etc.) |
54D30 | Compactness |
54D45 | Local compactness, \(\sigma\)-compactness |
54A05 | Topological spaces and generalizations (closure spaces, etc.) |