Epicompletion in frames with skeletal maps. II: Compact normal joinfit frames
type: Item
instance of: scholarly article
title: Epicompletion in frames with skeletal maps. II: Compact normal joinfit frames
zbMATH Open document ID: 1184.06005
author: Eric R. Zenk
author: Jorge Martinez
published in: Applied Categorical Structures
publication date: 2009-11-16T00:00:00Z
review text: In an earlier paper [``Epicompletion in frames with skeletal maps. I: Compact regular frames'', Appl. Categ. Struct. 16, No. 4, 521--533 (2008; Zbl 1156.06004)], to which the current paper is a sequel, the authors proved that in the category of compact regular frames with skeletal maps (a frame homomorphism is skeletal if it maps dense elements to dense elements), the subcategory consisting of extremally disconnected frames (which the authors call ``strongly projectable'') coincides with the epicomplete objects. In the paper under review, a frame \(L\) is said to be joinfit if, for each \(0<a\leq b\in L\), there exists \(c\in L\) with \(c<b\) such that \(b=a\vee c\). Let \(\mathbf{A}\) denote the category of compact normal joinfit frames with skeletal maps, and \(\mathbf{B}\subseteq \mathbf{A}\) the subcategory consisting of strongly projectable objects of \(\mathbf{A}\) with the same morphisms. The main achievement of the paper is the construction (without invoking the Axiom of Choice, no less) of an epireflection \(\psi:\mathbf{A}\to\mathbf{B}\). This is achieved via a series of subsidiary results of independent interest such as the preservation of normality by coproducts if each summand is compact, normal and joinfit. An indispensable tool in the construction of the epireflection is the notion of the absolute of a compact frame. This is the frame of ideals of the Booleanization (or, as the authors prefer to say, the frame of polars) of the given compact frame. The paper ends with a number of open questions and workpoints, premier among which is whether \(\psi\) is a monoreflection. This latter question has however since been resolved (in the affirmative) by the first-named author. The proof appears in the forthcoming paper [``Epicompletion in frames with skeletal maps. III: When maps are closed'', Appl. Categ. Struct., DOI: 10.1007/s10485-009-9194-3]. Reviewer's remark: The reader should note that in the definition of skeletal maps (Definition 1.4) there is an om…
reviewed by: Themba Dube
Mathematics Subject Classification ID: 06D22
Mathematics Subject Classification ID: 18A20
Mathematics Subject Classification ID: 18A30
zbMATH DE Number: 5633348
zbMATH Keywords: epireflection
zbMATH Keywords: skeletal map
zbMATH Keywords: normal frame
zbMATH Keywords: joinfitness
zbMATH Keywords: strong projectability
MaRDI profile type: Publication
full work available at URL: s10485-007-9120-5
OpenAlex ID: W2044715300
cites work: Q3830990
cites work: Variants of openness
cites work: Q4883943
cites work: The essential closure of an Archimedean lattice-ordered group
cites work: Completely regular absolutes and projective objects
cites work: Fraction-Dense Algebras and Spaces
cites work: Patch-generated frames and projectable hulls
cites work: \(H\)-closed spaces and reflective subcategories
cites work: Q3877831
cites work: Tychonoff's theorem without the axiom of choice
cites work: Archimedean lattices
cites work: Disjointifiable lattice-ordered groups
cites work: Q3568664
cites work: Epicompletion in frames with skeletal maps. IV: \(\ast\)-regular frames
cites work: When an algebraic frame is regular
cites work: Yosida frames
cites work: Regularity in algebraic frames
cites work: Epicompletion in frames with skeletal maps. I: Compact regular frames
cites work: Q3232336
cites work: Q4043738
DOI: 10.1007/S10485-007-9120-5
Recommended article: Epicompletion in frames with skeletal maps. I: Compact regular frames
Recommended article: Epicompletion in frames with skeletal maps. IV: \(\ast\)-regular frames
Recommended article: Epicompletion in frames with skeletal maps. III: When maps are closed
Recommended article: Morphisms and pushouts in compact normal joinfit frames
Recommended article: Epimorphisms of frames
Recommended article: Q3830990
Recommended article: Compactification of Frames
Recommended article: Q5190150
Recommended article: Compactly supported tight affine spline frames in 𝐿₂(ℝ^{𝕕})
Recommended article: Compactifications and A-compactifications of frames. Proximal frames
description: scientific article; zbMATH DE number 5633348