Choiceless, Pointless, but not Useless: Dualities for Preframes

  • Marcel Erné
  • Published 2007 in Applied Categorical Structures

Abstract

We provide the appropriate common ‘(pre)framework’ for various central results of domain theory and topology, like the Lawson duality of continuous domains, the Hofmann–Lawson duality between continuous frames and locally compact sober spaces, the Hofmann–Mislove theorems about continuous semilattices of compact saturated sets, or the theory of stably… (More)
DOI: 10.1007/s10485-006-9029-4

Topics

  • Presentations referencing similar topics