Categorical logic; Closure operators; Spatial logic; Topological semantics

Closure hyperdoctrines

(Pre)closure spaces are a generalization of topological spaces covering also the notion of neighbourhood in discrete structures, widely used to model and reason about spatial aspects of distributed systems. In this paper we present an abstract …