A conglomerate of exponential supercategories of the category of finitely generated topological spaces (Q1345334)
From MaRDI portal
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