A categorical account of the Hofmann–Mislove theorem

DOI10.1017/S0305004105008844zbMath1104.06008OpenAlexW2140917837MaRDI QIDQ3372727

Christopher F. Townsend

Publication date: 10 March 2006

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0305004105008844

zbMATH Keywords

Scott-open filterscategory of localesorder-enriched category

Mathematics Subject Classification ID

Categorical methods in general topology (54B30) Frames, locales (06D22) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (10)

An axiomatic account of weak triquotient assignments in locale theory ⋮ A representation theorem for geometric morphisms ⋮ Representing geometric morphisms using power locale monads ⋮ Presenting quotient locales ⋮ Radical theory of Scott-open filters ⋮ The patch construction is dual to algebraic DCPO representation ⋮ Stably locally compact locales are dual to continuous posets ⋮ Stability of properties of locales under groups ⋮ Distributive idempotents in an order-enriched category ⋮ Unnamed Item

This page was built for publication: A categorical account of the Hofmann–Mislove theorem