On preparacompactness of uniform frames (Q653942)

A frame (\(\sigma\)-frame) is a complete (\(\sigma\)-complete) lattice \(L\) in which binary meet distributes over arbitrary (countable) join. Cover is defined suitably. A quasicover is a locally finite refinement of a cover. Lindelöfness and compactness are defined for frames via cover, and paracompactness of a frame is defined via cover and locally finite refinement. With certain constraints on a collection \(\mu\) of covers of a frame \(L\), the uniformity \(\mu\) for a frame \(L\) is defined; the concept of uniform homomorphism \(h\), which happens to be a frame map, is introduced and \textbf{UFrm} is used to designate the category of uniform frames and uniform homomorphisms. When the uniformity is generated by countable uniform covers, the uniform frame is called separable; necessary and sufficient conditions for separability are defined in terms of quasirefinement and weak Cauchyness of a \(\sigma\)-filter, respectively. A new concept of preparacompactness is defined and also it is defined when a uniform frame is complete; it is shown that the completion of a preparacompact uniform frame is preparacompact and strongly Cauchy-complete. Uniform frames that have a Lindelöf and a compact completion are defined using the notion of preparacompactness. Further, as an application of preparacompactness, filter conditions for the Lindelöfness of the Hewitt realcompactification \(\theta L\) of a completely regular frame \(L\) are provided.