×

Essential completeness in categories of completely regular frames. (English) Zbl 1307.06004

This paper is, in some sense, a sequel to the authors’ earlier one [Algebra Univers. 62, No. 1, 113-123 (2009; Zbl 1192.06013)] in which they showed that various subcategories of the category \(\mathbf{CRFrm}\) of completely regular frames have only trivial injectives. Let \(\mathbf S\) be a full and isomorphism-closed coreflective subcategory of \(\mathbf{CRFrm}\). The authors call such a subcategory strongly monocoreflective if the coreflection maps (denoted by \(s_L\colon SL\to L\)) and its monomorphisms are dense. They then show that any strongly monocoreflective subcategory of \(\mathbf{CRFrm}\) has unique essential completions. For each \(L\in\mathbf{S}\) they are given by \(k_L\colon L\to S\mathfrak BL\), where \(\mathfrak BL\) denotes the Booleanization of \(L\), and \(k_L\) is the unique homomorphism such that \(s_{\mathfrak BL}\cdot k_L=\beta_L\), with \(\beta_L\colon L\to\mathfrak BL\) the Booleanization map. To do this they first establish that the essential monomorphisms in \(\mathbf{CRFrm}\) are precisely the maps whose “co-lifts” to Booleanizations are isomorphisms. Equivalently they are the maps \(h\) such that \(h_*(a)=0\) if and only if \(a=0\), that is, the dense and \(*\)-dense homomorphisms. Concrete examples of strongly monocoreflective subcategories of \(\mathbf{CRFrm}\) are given, and they include the subcategories of (i) realcomplete, (ii) compact, and (iii) paracompact frames, amongst others. In view of the significant role played by skeletal maps in this study, the authors end the paper with a result which shows that in the category \(\mathbf S_{\text{sk}}\), obtained from any monocoreflective subcategory by considering only skeletal maps, the epicomplete objects are exactly the essentially complete ones in \(\mathbf S\). Furthermore, they form an epi-monoreflective subcategory of \(\mathbf S_{\text{sk}}\) with reflection maps \(k_L\colon L\to S\mathfrak BL\). (Also submitted to MR.)

MSC:

06D22 Frames, locales
06F25 Ordered rings, algebras, modules
18B30 Categories of topological spaces and continuous mappings (MSC2010)
54B30 Categorical methods in general topology

Citations:

Zbl 1192.06013
Full Text: DOI

References:

[1] Banaschewski, B.: Compact regular frames and the Sikorski Theorem. Kyungpook Math. J. 28, 1–14 (1988) · Zbl 0676.03029
[2] Banaschewski, B.: The real numbers in pointfree topology. Textos de Matemática, Série B, No. 12, Departamento de Matemática da Universidade de Coimbra (1997)
[3] Banaschewski, B.: The axiom of countable choice and pointfree topology. Appl. Categ. Struct. 9, 245–258 (2001) · Zbl 0976.03054 · doi:10.1023/A:1011284016682
[4] Banaschewski, B.: Uniform completion in pointfree topology. In: Rodabaugh, S.E., Klement, E.P. (eds.), Topological and Algebraic Structures in Fuzzy Sets, pp. 19–56. Kluwer Academic Publishers (2003) · Zbl 1034.06008
[5] Banaschewski, B.: On the strong amalgamation of Boolean algebras. Alg. Univ. 63, 235–238 (2010) · Zbl 1204.06007 · doi:10.1007/s00012-010-0072-5
[6] Banaschewski, B., Hager, A.W.: Injectivity of archimedean -groups with order unit. Alg. Univ. 62, 113–123 (2009) · Zbl 1192.06013 · doi:10.1007/s00012-010-0042-y
[7] Banaschewski, B., Pultr, A.: Paracompactness revisited. Appl. Categ. Struct. 1, 181–190 (1993) · Zbl 0797.54032 · doi:10.1007/BF00880042
[8] Gleason, A.: Projective topological spaces. Ill. J. Math. 2, 482–489 (1958) · Zbl 0083.17401
[9] Halmos, P.R.: Injective and projective Boolean algebras. In: Proc. Symp. Pure Math. vol. 11, pp. 114–122. Amer. Math. Soc., Providence, RI (1961) · Zbl 0101.27103
[10] Isbell, J.R.: Atomless parts of spaces. Math. Scand. 31, 5–32 (1972) · Zbl 0246.54028
[11] Johnstone, P.T.: Stone spaces. Cambridge Stud. Adv. Math., vol. 3. Cambridge University Press (1982) · Zbl 0499.54001
[12] LaGrange, R.: Amalgamation and epimorphisms in ${\(\backslash\)mathfrak m}$ -complete Boolean algebras. Alg. Univ. 4, 277–279 (1974) · Zbl 0303.06010 · doi:10.1007/BF02485738
[13] Martinez, J., Zenk, E. R.: Epicompletion in frames with skeletal maps I: compact regular frames. Appl. Categ. Struct. 16, 521–533 (2008) · Zbl 1156.06004 · doi:10.1007/s10485-007-9110-7
[14] Pultr, A., Hazewinkel, F.M. (eds.): Handbook of Algebra, vol. 3, 791–857. Elsevier Science B.V. (2003)
[15] Vickers, S.: Topology via Logic. Cambridge Tracts Theor. Comp. Sci., vol. 5. Cambridge University Press (1985)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.