O'Reilly logo

Non-Hausdorff Topology and Domain Theory by Jean Goubault-Larrecq

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

9.6 Bifinite domains

A simple modification of the characterization of spectral spaces as projective limits of finite T0 spaces (i.e., finite posets) yields the so-called bifinite domains, a.k.a. Plotkin’s SFP-domains. Just like bc-domains, bifinite domains form one of the important categories used in domain theory (Abramsky and Jung, 1994). In particular, this category will turn out to be Cartesian-closed.

We require the maps rij : AjAi to be retractions, and a bit more.

Definition 9.6.1 (ep-pair, projection) An ep-pair from a topological space X to a topological space Y is a pair of continuous maps image such that r s = idX and s r idY. Then ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required