Inverse limits in the category of locales (Q1128126): 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: Ying-Ming Liu / rank | |||
Property / reviewed by | |||
Property / reviewed by: Q805731 / rank | |||
Property / author | |||
Property / author: Ying-Ming Liu / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Peter T. Johnstone / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Atomless Parts of Spaces. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3978977 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3965241 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Direct limits of meet-continuous lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Almost maximal ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Prime ideals yield almost maximal ideals / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf02879935 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1979065873 / rank | |||
Normal rank |
Latest revision as of 09:41, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Inverse limits in the category of locales |
scientific article |
Statements
Inverse limits in the category of locales (English)
0 references
29 December 1998
0 references
The authors give an explicit construction of filtered colimits in the category of frames -- equivalently, of (cofiltered) inverse limits in the category of locales. Using their construction, they give direct proofs that the limit of an inverse system of locales whose bonding maps are epimorphisms projects epimorphically onto each term of the system (this result was first conjectured by \textit{M. Barr}, and proved by \textit{A. Joyal} and \textit{M. Tierney} by exploiting the relations between frames and sup-lattices); and that an arbitrary inverse limit of compact locales is compact (which was proved, under the additional hypothesis that the bonding maps are epimorphic, by the reviewer and \textit{S. J. Vickers} exploiting the relations between frames and preframes). A number of topological applications are given, and their relationship to the Boolean prime ideal theorem is discussed.
0 references
filtered colimits
0 references
frames
0 references
inverse limits
0 references
locales
0 references
sup-lattices
0 references
preframes
0 references
Boolean prime ideal theorem
0 references