Approach theory in a category: A study of compactness and Hausdorff separation
type: Item
instance of: scholarly article
title: Approach theory in a category: A study of compactness and Hausdorff separation
zbMATH Open document ID: 1148.54003
author: A. Gerlo
published in: Applied Categorical Structures
publication date: 2008-09-10T00:00:00Z
review text: A topological construct \({\mathcal X}\) with a proper \(({\mathcal E},{\mathcal M})\)-factorization system is endowed with a distance operator by defining a concrete functor \(\Lambda:{\mathcal X}\rightarrow { Prap}\) to the construct \(Prap\) of pre-approach spaces and contractions. Then the following class of ``closed morphisms'' arises naturally: \({\mathcal F}_{\Lambda}=\{f: \Lambda f\) is a closed contraction in \(Prap\}.\) For \(\Lambda\) preserving subobjects, all the axioms put forward in the work of \textit{M. M. Clementino, E.Giuli} and \textit{W. Tholen} [Pedicchio, Maria Cristina (ed.) et al., Categorical foundations. Special topics in order, topology, algebra, and sheaf theory. Cambridge: Cambridge University Press. Encycl. Math. Appl. 97, 103--163 (2004; Zbl 1059.54012)] in order to develop a functional approach to general topology with respect to the class \({\mathcal F}_{\Lambda}\) are fulfilled. The author concentrates on \({\mathcal F}_{\Lambda}\)-compactness of an object \(\underline{X}\) in \({\mathcal X},\) which expresses the fact that the projection \(p_Y:{\underline{X}}\times {\underline{Y}}\rightarrow \underline{Y}\) belongs to \({\mathcal F}_{\Lambda}\) for every \({\mathcal X}\)-object \(\underline{Y}.\) Under certain conditions on \(\Lambda\), she proves that \({\mathcal F}_\Lambda\)-compactness of \(\underline{X}\) is equivalent to \(0\)-compactness of \(\Lambda(\underline{X})\) in \(Prap\). She finds that for \(\Lambda\) preserving subobjects, an \({\mathcal X}\)-object \(\underline{X}\) is \({\mathcal F}_{\Lambda}\)-Hausdorff iff the pretopological reflection of \(\Lambda(\underline{X})\) is Hausdorff. In \(Top\) the classical compactness and \(b\)-compactness are captured if for \(\Lambda\) the functor describing the Kuratowski or \(b\)-closure, respectively, is considered. On the construct \(Ap\) of approach spaces natural functors \(\Lambda\) arise, which cannot be described by means of a closure operator.
reviewed by: Hans Peter Künzi
Mathematics Subject Classification ID: 54B30
Mathematics Subject Classification ID: 54A05
Mathematics Subject Classification ID: 54D10
Mathematics Subject Classification ID: 54D30
Mathematics Subject Classification ID: 18B99
zbMATH DE Number: 5324371
zbMATH Keywords: compact
zbMATH Keywords: Hausdorff
zbMATH Keywords: (pre-)approach space
zbMATH Keywords: closed morphism
zbMATH Keywords: \(b\)-compact
MaRDI profile type: Publication
full work available at URL: s10485-007-9066-7
OpenAlex ID: W2093575393
cites work: Q4693062
cites work: Sobrification and bicompletion of totally bounded quasi-uniform spaces
cites work: Productivity of Zariski-compactness for constructs of affine spaces
cites work: Epimorphisms and cowellpoweredness for separated metrically generated theories
cites work: Q3130029
cites work: Q4464694
cites work: Q3961479
cites work: A Kuratowski-Mrówka theorem in approach theory
cites work: Q4665113
cites work: Separated and connected maps
cites work: Separation and epimorphisms in quasi-uniform spaces
cites work: Q4859897
cites work: Categorically compact topological groups
cites work: Q3966761
cites work: A quasitopos containing CONV and MET as full subcategories
cites work: Q4340906
cites work: AUnif: A common supercategory of pMET and Unif
cites work: Q3221026
DOI: 10.1007/S10485-007-9066-7
description: scientific article; zbMATH DE number 5324371