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

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