nLab
cpo

cpos

Definition

A cpo is simply a set equipped with a complete partial order. However, we take as morphisms the Scott-continuous functions (continuous functions with respect to the Scott topology). Cpos and Scott-continuous maps form a category CPOCPO.

Applications

Cpos are important in domain theory.

References

Last revised on July 8, 2010 at 19:39:00. See the history of this page for a list of all contributions to it.