cpo

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 $CPO$.

Cpos are important in domain theory.

- Jiri Adamek, Horst Herrlich, and George Strecker,
*Abstract and concrete categories: the joy of cats*. free online

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