Lattice-valued semiuniform convergence spaces (Q1759630): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 05:35, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lattice-valued semiuniform convergence spaces |
scientific article |
Statements
Lattice-valued semiuniform convergence spaces (English)
0 references
21 November 2012
0 references
The author studies two extensions of the category of semiuniform convergence spaces, namely the categories \(SL\)-\textbf{SUConv} of stratified \(L\)-semiuniform convergence spaces and \(SL\)-\textbf{OSUConv} of stratified \(L\)-ordered semiuniform convergence spaces, where \(L\) denotes an arbitrary complete Heyting algebra. It is shown that (i) \(SL\)-\textbf{SUConv} is topological; (ii) \(SL\)-\textbf{OSUConv} is a bireflective full subcategory of \(SL\)-\textbf{SUConv}, and hence it is topological; (iii) both categories are Cartesian-closed; (iv) \(SL\)-\textbf{SUConv} is extensional; (v) both categories are closed under the formation of products of quotient mappings.
0 references
topology
0 references
\(L\)-filter
0 references
\(L\)-semiuniform convergence space
0 references
\(L\)-ordered semiuniform convergence space
0 references
topological category
0 references
Cartesian-closedness
0 references
extensionality
0 references
product of quotient mappings
0 references