Function space of complete partial orders
ID: function-space-of-complete-partial-orders
The Scott continuous maps from to , ordered pointwise. A nonempty directed family has pointwise supremum, and the constant-bottom function is least. Joint evaluation is Scott continuous: for a directed family of pairs , directedness makes diagonal values cofinal among all . Evaluation and currying make the category of pointed complete partial orders and non-strict Scott continuous maps a Cartesian closed category.
New to topics? Read the docs here!