General Topology And Domain Theory

← Back to Domain-Specific Abstractions by Domain

2 domain-specific abstractions whose origin domain is General Topology And Domain Theory.

• Core-compact space — A topological space whose lattice of open sets is a continuous poset, equivalently an exponentiable object in the category of topological spaces.
• Specialization preorder — The canonical preorder on points of a topological space in which one point is below another when it belongs to the closure of the other, subject to an explicitly stated orientation convention.