Epicompletion in frames with skeletal maps. III: When maps are closed
type: Item
instance of: scholarly article
title: Epicompletion in frames with skeletal maps. III: When maps are closed
zbMATH Open document ID: 1223.06010
published in: Applied Categorical Structures
publication date: 2011-05-11T00:00:00Z
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. Rea…
reviewed by: Themba Dube
Mathematics Subject Classification ID: 06D22
Mathematics Subject Classification ID: 18A20
Mathematics Subject Classification ID: 18A30
zbMATH DE Number: 5886915
zbMATH Keywords: epicompletion
zbMATH Keywords: skeletal and closed maps
zbMATH Keywords: strongly projectable frames
zbMATH Keywords: monoreflection
author: Jorge Martinez
MaRDI profile type: Publication
full work available at URL: s10485-009-9194-3
OpenAlex ID: W2110726502
cites work: Q3830990
cites work: Q4336219
cites work: Q4092470
cites work: Patch-generated frames and projectable hulls
cites work: Q3877831
cites work: Archimedean lattices
cites work: Unit and kernel systems in algebraic frames
cites work: Q3568664
cites work: When an algebraic frame is regular
cites work: Nuclear typing of frames vs spatial selectors
cites work: Epicompletion in frames with skeletal maps. I: Compact regular frames
cites work: Epicompletion in frames with skeletal maps. II: Compact normal joinfit frames
cites work: Q4459228
cites work: A note on stably closed maps of locales
DOI: 10.1007/S10485-009-9194-3
description: scientific article; zbMATH DE number 5886915