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

## Applications

Cpos are important in domain theory.

## References

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