Epicompletion in frames with skeletal maps. III: When maps are closed (Q535358): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
In [\textit{J. Martínez} and \textit{E. R. Zenk}, ``Epicompletion in frames with skeletal maps. II: Compact normal joinfit frames'', Appl. Categ. Struct. 17, No.~5, 467--486 (2009; Zbl 1184.06005)], the authors constructed an epireflection \(\psi\) of the category \(\mathfrak{KNArS}\) of compact normal joinfit frames with skeletal maps, in the subcategory consisting of strongly projectable members. A frame \(L\) is joinfit if for any \(0<a\leq b\) in \(L\), there exists \(c\in L\) such that \(c<b\) and \(a\vee c=b\); and a frame homomorphism is skeletal if it maps dense elements to dense elements. By a strongly projectable frame is meant what frame theorists with topological leanings call extremally disconnected frames (Banaschewski prefers the moniker ``De Morgan frames''). A question which was left open is this article was whether \(\psi\) is a monoreflection. In the paper under review (which is the third in a series of papers investigating epicompletion in frames with skeletal maps), Martínez settles this question. This he achieves by showing that, for each \(A\) in \(\mathfrak{KNArS}\), the reflection map \(\psi_A\colon A\to\psi A\) is a closed homomorphism, whence, being dense, it is one-one. For an algebraic frame \(L\) in which the meet of two compact elements is compact, the map \(d\colon L\to L\) defined by \[ d(a)={\bigvee}\{c^{\perp\perp}\mid c \text{ is compact and } c\leq a\}, \] where \(\perp\) denotes pseudocomplement, is a nucleus. On the category of such frames, with skeletal maps, \(d\) defines an epireflection in the subcategory consisting of those objects for which \(dL=L\). In the second part of the paper the author establishes that the composite \(d\cdot\psi\) is an epireflection of the category of coherent normal joinfit frames with coherent (i.e. sends compact elements to compact elements) skeletal maps, in the subcategory of compact regular strongly projectable objects. The paper concludes with a number of open questions and work points. Readers who are familiar with the author's works know his very lucid and clear style of writing. This article keeps with that tradition. | |||
Property / review text: In [\textit{J. Martínez} and \textit{E. R. Zenk}, ``Epicompletion in frames with skeletal maps. II: Compact normal joinfit frames'', Appl. Categ. Struct. 17, No.~5, 467--486 (2009; Zbl 1184.06005)], the authors constructed an epireflection \(\psi\) of the category \(\mathfrak{KNArS}\) of compact normal joinfit frames with skeletal maps, in the subcategory consisting of strongly projectable members. A frame \(L\) is joinfit if for any \(0<a\leq b\) in \(L\), there exists \(c\in L\) such that \(c<b\) and \(a\vee c=b\); and a frame homomorphism is skeletal if it maps dense elements to dense elements. By a strongly projectable frame is meant what frame theorists with topological leanings call extremally disconnected frames (Banaschewski prefers the moniker ``De Morgan frames''). A question which was left open is this article was whether \(\psi\) is a monoreflection. In the paper under review (which is the third in a series of papers investigating epicompletion in frames with skeletal maps), Martínez settles this question. This he achieves by showing that, for each \(A\) in \(\mathfrak{KNArS}\), the reflection map \(\psi_A\colon A\to\psi A\) is a closed homomorphism, whence, being dense, it is one-one. For an algebraic frame \(L\) in which the meet of two compact elements is compact, the map \(d\colon L\to L\) defined by \[ d(a)={\bigvee}\{c^{\perp\perp}\mid c \text{ is compact and } c\leq a\}, \] where \(\perp\) denotes pseudocomplement, is a nucleus. On the category of such frames, with skeletal maps, \(d\) defines an epireflection in the subcategory consisting of those objects for which \(dL=L\). In the second part of the paper the author establishes that the composite \(d\cdot\psi\) is an epireflection of the category of coherent normal joinfit frames with coherent (i.e. sends compact elements to compact elements) skeletal maps, in the subcategory of compact regular strongly projectable objects. The paper concludes with a number of open questions and work points. Readers who are familiar with the author's works know his very lucid and clear style of writing. This article keeps with that tradition. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Themba Dube / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06D22 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18A20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18A30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5886915 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
epicompletion | |||
Property / zbMATH Keywords: epicompletion / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
skeletal and closed maps | |||
Property / zbMATH Keywords: skeletal and closed maps / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
strongly projectable frames | |||
Property / zbMATH Keywords: strongly projectable frames / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
monoreflection | |||
Property / zbMATH Keywords: monoreflection / rank | |||
Normal rank |
Revision as of 09:53, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Epicompletion in frames with skeletal maps. III: When maps are closed |
scientific article |
Statements
Epicompletion in frames with skeletal maps. III: When maps are closed (English)
0 references
11 May 2011
0 references
In [\textit{J. Martínez} and \textit{E. R. Zenk}, ``Epicompletion in frames with skeletal maps. II: Compact normal joinfit frames'', Appl. Categ. Struct. 17, No.~5, 467--486 (2009; Zbl 1184.06005)], the authors constructed an epireflection \(\psi\) of the category \(\mathfrak{KNArS}\) of compact normal joinfit frames with skeletal maps, in the subcategory consisting of strongly projectable members. A frame \(L\) is joinfit if for any \(0<a\leq b\) in \(L\), there exists \(c\in L\) such that \(c<b\) and \(a\vee c=b\); and a frame homomorphism is skeletal if it maps dense elements to dense elements. By a strongly projectable frame is meant what frame theorists with topological leanings call extremally disconnected frames (Banaschewski prefers the moniker ``De Morgan frames''). A question which was left open is this article was whether \(\psi\) is a monoreflection. In the paper under review (which is the third in a series of papers investigating epicompletion in frames with skeletal maps), Martínez settles this question. This he achieves by showing that, for each \(A\) in \(\mathfrak{KNArS}\), the reflection map \(\psi_A\colon A\to\psi A\) is a closed homomorphism, whence, being dense, it is one-one. For an algebraic frame \(L\) in which the meet of two compact elements is compact, the map \(d\colon L\to L\) defined by \[ d(a)={\bigvee}\{c^{\perp\perp}\mid c \text{ is compact and } c\leq a\}, \] where \(\perp\) denotes pseudocomplement, is a nucleus. On the category of such frames, with skeletal maps, \(d\) defines an epireflection in the subcategory consisting of those objects for which \(dL=L\). In the second part of the paper the author establishes that the composite \(d\cdot\psi\) is an epireflection of the category of coherent normal joinfit frames with coherent (i.e. sends compact elements to compact elements) skeletal maps, in the subcategory of compact regular strongly projectable objects. The paper concludes with a number of open questions and work points. Readers who are familiar with the author's works know his very lucid and clear style of writing. This article keeps with that tradition.
0 references
epicompletion
0 references
skeletal and closed maps
0 references
strongly projectable frames
0 references
monoreflection
0 references