Productivity of Zariski-compactness for constructs of affine spaces
type: Item
instance of: scholarly article
title: Productivity of Zariski-compactness for constructs of affine spaces
zbMATH Open document ID: 1102.54010
author: Eva Colebunders
author: V. Claes
published in: Topology and its Applications
publication date: 2006-03-20T00:00:00Z
review text: In this paper an affine space is simply a set \(X\) together with a family of subsets which contains both the empty set and the set \(X\). A morphism of such spaces is a function for which the inverse image maps the defining subsets to the corresponding defining subsets. Together these form the topological category SSETS. Associated with this category is a closure operator \(z\) (Zariski closure) where the \(z\)-closure, \(z(M)\), of an embedding \(M\to X\) is the subset of \(X\) consisting of all \(x\) in \(X\) for which all pairs of maps \(X\to S\) which agree on \(M\) also agree at \(x\). Here \(S= (\{0,1\}; \{0,\{1\},\{0,1\}\})\) is the Sierpiński affine space. An object \(X\) in a non-trivial hereditary concretely coreflective subconstruct, \(C\), of SSETS is said to be \(z\)-compact if the second factor projection from the product, \(X\times Y\) in \(C\), to \(Y\) is \(z\)-preserving (i.e. commutes with \(z\)-closure) for all objects \(Y\) in \(C\). The main result of the paper is: If in \(C\) arbitrary products of quotients are quotients, then \(z\)-compactness is productive in \(C\) if and only if either all \(z\)-compact objects are indiscrete or \(z\)-compactness coincides with \(z\)-completeness on the subcategory of \(T_0\) objects in \(C\). Several examples of well known subconstructs of SSETS are considered. In particular it is shown that \(z\)-compactness is productive in SSETS and in CL, the category of closure spaces.
Mathematics Subject Classification ID: 54B30
Mathematics Subject Classification ID: 54A05
Mathematics Subject Classification ID: 54D30
zbMATH DE Number: 5013550
zbMATH Keywords: hereditary coreflective subconstruct
zbMATH Keywords: structured set
zbMATH Keywords: Zariski-compactness
zbMATH Keywords: finite structure property
zbMATH Keywords: Zariski closure
MaRDI profile type: Publication
full work available at URL: j.topol.2005.01.007
OpenAlex ID: W2078447217
cites work: Q4012498
cites work: Q3994006
cites work: Cartesian closed topological hull of the construct of closure spaces
cites work: Q3130029
cites work: On complete objects in the category of T0 closure spaces
cites work: Categories of algebraic sets
cites work: Q4665117
cites work: On classes of T0 spaces admitting completions
cites work: Are there convenient subcategories of Top?
cites work: On simultaneously reflective and coreflective subconstructs
cites work: Q3853812
cites work: On epireflective subcategories of topological categories
cites work: Ultrafilter spaces and compactifications
DOI: 10.1016/J.TOPOL.2005.01.007
description: scientific article; zbMATH DE number 5013550