Separation properties in algebraic categories of topologies spaces
type: Item
instance of: scholarly article
title: Separation properties in algebraic categories of topologies spaces
zbMATH Open document ID: 0575.54010
DOI: 10.1016/0166-8641(85)90037-9
author: Günther Richter
published in: Topology and its Applications
publication date: 1985-01-01T00:00:00Z
review text: Concrete categories C over Set are called quasivarietal or algebraic if they are concretely equivalent to a quasivariety of universal algebras with not necessarily finitary operations [cf. \textit{H. Herrlich} and \textit{G. E. Strecker}, Category theory, 2nd ed. (1979; Zbl 0437.18001)]. A well-known example is the category \(C=Comp_ 2\) of compact Hausdorff spaces which is even varietal. Moreover, \(Comp_ 2\) can be characterized as the only nontrivial, full, isomorphism-closed, productive, and closed hereditary subcategory of all Hausdorff spaces which is varietal [cf. \textit{H. Herrlich} and \textit{G. E. Strecker}, Gen. Topology Appl. 1, 283- 287 (1971; Zbl 0231.18007) and the book cited above], or as the greatest algebraic one [the author, Lect. Notes Math. 962, 263-271 (1982; Zbl 0508.54005)]. The Hausdorff axiom is essential for the proofs. But is it really independent from the others? We state that Hausdorffness can be obtained from some of the other axioms in the varietal case. But even in the weaker algebraic case there are pleasant separation properties available, for instance \(T_ 1\) for all spaces in C and \(T_ 2\) for first countable spaces. It remains as an open question whether \(Comp_ 2\) is maximal algebraic with respect to all spaces.
Mathematics Subject Classification ID: 54B30
Mathematics Subject Classification ID: 54D10
Mathematics Subject Classification ID: 18B30
Mathematics Subject Classification ID: 54D15
Mathematics Subject Classification ID: 54D30
Mathematics Subject Classification ID: 18C05
zbMATH DE Number: 3919312
zbMATH Keywords: algebraic categories
zbMATH Keywords: category of compact Hausdorff spaces
zbMATH Keywords: varietal functors
zbMATH Keywords: algebraic functors
zbMATH Keywords: Hausdorffness
MaRDI profile type: Publication
full work available at URL: 0166-8641(85)90037-9
OpenAlex ID: W2090012213
cites work: Algebra ∩ topology = compactness
cites work: Q3877831
cites work: Q4746455
cites work: Q5613067
Recommended article: Q3488129
Recommended article: Q4896244
Recommended article: Q4502900
Recommended article: Separation in topological algebras
Recommended article: Q4847848
Recommended article: Q4716758
Recommended article: Separation properties at \(p\) for the topological category of Cauchy spaces
Recommended article: Characterizations of algebraic and varietal categories of topological spaces
Recommended article: Separability and triangulated categories
Recommended article: Q3571855
description: scientific article; zbMATH DE number 3919312