A conglomerate of exponential supercategories of the category of finitely generated topological spaces (Q1345334): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Josef Šlapal / rank | |||
Property / reviewed by | |||
Property / reviewed by: Horst Herrlich / rank | |||
Property / author | |||
Property / author: Josef Šlapal / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Horst Herrlich / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5516652 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4079792 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Notes on Topological Spaces with Minimum Neighborhoods / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: CARTESIAN CLOSED COREFLECTIVE HULLS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3142669 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4277391 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cartesian closedness in categories of relational systems / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4246504687 / rank | |||
Normal rank |
Latest revision as of 10:34, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A conglomerate of exponential supercategories of the category of finitely generated topological spaces |
scientific article |
Statements
A conglomerate of exponential supercategories of the category of finitely generated topological spaces (English)
0 references
12 June 1995
0 references
The author calls a full extension \({\mathcal B}\) of a category \({\mathcal A}\) an exponential supercategory of \({\mathcal A}\) provided that \({\mathcal B}\) has finite products and for each \({\mathcal B}\)-object \(B\) and each \({\mathcal A}\)- object \(A\) the functor \(B \times_ - : {\mathcal B} \to {\mathcal B}\) has a couniversal arrow \(B \times A^ B \to A\) for \(A\) with \(A^ B\) in \({\mathcal A}\). He considers the category \({\mathcal A}\) of finitely generated topological spaces as a full subcategory of the category \({\mathcal P} r{\mathcal T} op\) of pretopological spaces, and constructs, for each ordinal \(\alpha\), an exponential supercategory \({\mathcal B}_ \alpha\) of \({\mathcal A}\) in \({\mathcal P} r{\mathcal T}op\).
0 references
function space
0 references
exponential object
0 references
Cartesian-closedness
0 references
pretopological spaces
0 references