Scott continuous map

ID: scott-continuous-map

A monotone map preserving suprema of nonempty directed sets. Between pointed domains it need not send bottom to bottom. The pointwise directed supremum of a directed family of such maps is again Scott continuous: interchange the two directed suprema in .

New to topics? Read the docs here!