Order theory and domain theory::Embedding


First::theory    Title::harvnb    Which::category    ''X''::topology    ''Y''::category    Partial::ldots

Order theory and domain theory In order theory, an embedding of partial orders is a function F from X to Y such that:

<math>\forall x_1,x_2\in X: x_1\leq x_2\Leftrightarrow F(x_1)\leq F(x_2)</math>.

In domain theory, an additional requirement is:

<math> \forall y\in Y:\{x: F(x)\leq y\}</math> is directed.

Embedding sections
Intro  Topology and geometry  Algebra  Order theory and domain theory  Metric spaces  Category theory  See also  Notes   References    External links   

Order theory and domain theory
PREVIOUS: AlgebraNEXT: Metric spaces