On the largest coreflective Cartesian closed subconstruct of Prtop (Q1364910): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf00124115 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4250659352 / rank | |||
Normal rank |
Latest revision as of 12:07, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the largest coreflective Cartesian closed subconstruct of Prtop |
scientific article |
Statements
On the largest coreflective Cartesian closed subconstruct of Prtop (English)
0 references
20 November 1997
0 references
Let \(\mathbf{Prtop}\) denote the construct of pretopological spaces and continuous mappings and let \(\mathbf{Fing}\) denote the full subconstruct of \(\mathbf{Prtop}\) consisting of all finitely generated pretopological spaces. \(\mathbf{Fing}\) is the largest Cartesian closed coreflective subconstruct of \(\mathbf{Prtop}\). Let \(\mathbf 3\) be the pretopological space on the set \(\{0,1,2\}\) such that the neighbourhood filters of \(0\) and \(2\) are the ultrafilters and the neighbourhood filter of \(1\) is \(\{\{1,2\},\{0,1,2\}\}\). If a subconstruct \(\mathcal A\) of \(\mathbf{Prtop}\) contains \(\mathbf 3\) then the following are equivalent: \(\mathcal A\) is initially structured; \(\mathcal A\) is coreflective in \(\mathbf{Prtop}\); \(\mathcal A\) is topological. Any exponential object of a coreflective subconstruct \(\mathcal C\) of \(\mathbf{Prtop}\) is finitely generated, if, moreover, \(\mathcal C\) is finitely productive in \(\mathbf{Prtop}\) then an object of \(\mathcal C\) is finitely generated if and only if it is exponential. It is shown that the assumption that \(\mathcal C\) is finitely productive cannot be omitted.
0 references
pretopological space
0 references
coreflective subcategory
0 references
cartesian closed category
0 references
finitely generated space
0 references
exponential object
0 references