nLab
cpo

cpos

Definition

A cpo is simply a set equipped with a complete partial order. However, we take as morphisms the Scott-continuous function?s (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

Revised on July 8, 2010 19:39:00 by Toby Bartels (173.60.119.197)