Epireflective subcategories of TOP, \(T_2\)UNIF, UNIF, closed under epimorphic images, or being algebraic (Q682119)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Epireflective subcategories of TOP, \(T_2\)UNIF, UNIF, closed under epimorphic images, or being algebraic |
scientific article |
Statements
Epireflective subcategories of TOP, \(T_2\)UNIF, UNIF, closed under epimorphic images, or being algebraic (English)
0 references
13 February 2018
0 references
In this well written paper the author investigates different variations of Birkhoff's Variety Theorem in universal algebra for epireflective-like subcategories of \textbf{Top}. A sample result is the following: the epireflective subcategories of \textbf{Top} (resp. \(T_2\)\textbf{Unif}; \textbf{Unif}) that are closed under epimorphic images are: \(\{X \mid | X| \leq 1\}\), \(\{X \mid X\) is indiscrete\(\}\), and \textbf{Top} (resp. \(\{X \mid | X| \leq 1\}\), \(\{X \mid X\) is compact \(T_2\) \(\}\), \(\{X \mid \) the covering character of \(X\) is \(\leq \lambda_0\}\) (where \(\lambda_0\) is an infinite cardinal), and \(T_2\)\textbf{Unif}; \(\{X \mid | X| \leq 1\}\), \(\{X \mid X\) is indiscrete \(\}\), \(\{X \mid \) the covering character of \(X\) is \(\leq \lambda_0\}\), and \textbf{Unif}). The paper also contains some pertinent examples and open questions.
0 references
Birkhoff type theorems
0 references
categories of \(T_2\) topological, proximity and uniform spaces
0 references
epireflective subcategories
0 references
closedness under products and (closed) subspaces
0 references
closedness under epimorphic or bimorphic images
0 references
algebraic subcategories
0 references
varietal subcategories
0 references