A DICHOTOMY RESULT FOR LOCALLY COMPACT SOBER DCPOS

摘要

The second author proved in [7] that each cartesian closed category of pointed domains and Scott-continuous functions is contained in either the category of Lawson-compact domains or that of L-domains, and this result eventually led to a classification of continuous domains with respect to cartesian closedness, as laid out in [8].