*** Welcome to piglix ***

Scott-continuous


In mathematics, given two partially ordered sets P and Q, a function between them is Scott-continuous (named after the mathematician Dana Scott) if it preserves all directed suprema, i.e. if for every directed subset D of P with supremum in P its image has a supremum in Q, and that supremum is the image of the supremum of D: that is, , where is the directed join. When is the poset of truth values, i.e. Sierpinski space, then the are characteristic functions, and thus, Sierpinski space is the classifying topos for open sets.


...
Wikipedia

...