Enriched closure spaces as a novel framework for domain theory

Paul Poncet

We propose a generalization of continuous lattices and domains through the concept of enriched closure space, defined as a closure space equipped with a preclosure operator satisfy…