A categorical account of the Hofmann–Mislove theorem (Q3372727)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A categorical account of the Hofmann–Mislove theorem |
scientific article |
Statements
A categorical account of the Hofmann–Mislove theorem (English)
0 references
10 March 2006
0 references
Scott-open filters
0 references
category of locales
0 references
order-enriched category
0 references
