Lax proper maps of locales (Q861859): Difference between revisions

A localic version of Priestley duality between Stone spaces and coherent spaces is proved, using lax proper maps of locales. The duality is extended to sheaves, namely that sheaves over a coherent locale can be recovered as the sheaves over an ordered Stone locale.

0 references

zbMATH Keywords

Priestley duality

0 references

locale

0 references

reviewed by

Miroslav Hušek

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.jpaa.2006.03.003

0 references

cites work

Proof of a conjecture of A. Pitts

0 references

Representation of Distributive Lattices by means of ordered Stone Spaces

0 references

Topological representations of distributive lattices and Brouwerian logics

0 references

Localic Priestley duality

0 references

Q3978991

0 references

Proper maps of locales

0 references

Identifiers

zbMATH Open document ID

1112.18004

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

10.1016/J.JPAA.2006.03.003

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:861859

@@ Property / DOI @@
-.1016/j.jpaa.2006.03.003
@@ Property / DOI: 10.1016/j.jpaa.2006.03.003 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jpaa.2006.03.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2074775257
@@ Property / OpenAlex ID: W2074775257 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of a conjecture of A. Pitts
@@ Property / cites work: Proof of a conjecture of A. Pitts / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank
@@ Property / cites work @@
+Topological representations of distributive lattices and Brouwerian logics
+Normal rank
@@ Property / cites work @@
+Localic Priestley duality
@@ Property / cites work: Localic Priestley duality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978991
@@ Property / cites work: Q3978991 / rank @@
+Normal rank
@@ Property / cites work @@
+Proper maps of locales
@@ Property / cites work: Proper maps of locales / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JPAA.2006.03.003
@@ Property / DOI: 10.1016/J.JPAA.2006.03.003 / rank @@
+Normal rank