• Communications of the Korean Mathematical Society
• /
• v.17 no.2
• /
• pp.295-308
• /
• 2002

Using the Countably way below relation, we show that the category $\sigma$-CFrm of $\sigma$-coherent frames and $\sigma$-coherent homomorphisms is coreflective n the category Frm of frames and frame homomorphisms. Introducting the concept of stably countably approximating frames which are exactly retracts of $\sigma$-coherent frames, it is shown that the category SCAFrm of stably countably approximating frames and $\sigma$-proper frame homomorphisms is coreflective in Frm. Finally we introduce strongly Lindelof frames and show that they are precisely lax retracts of $\sigma$-coherent frames.

• Journal for History of Mathematics
• /
• v.16 no.1
• /
• pp.63-72
• /
• 2003

This paper is a sequel to [11]. We introduce $\sigma$-coherent frames, stably countably approximating frames and strongly Lindelof frames, and show that a stably countably approximating frame is a strongly Lindelof frame. We also show that a complete chain in a Lindelof frame if and only if it is a strongly Lindelof frame by using the concept of strong convergence of filters. Finally, using the concepts of super compact frames and filter compact frames, we introduce an example of a strongly Lindelof frame which is not a stably countably approximating frame.