2 citations · 2 across the 2 of their papers we have counts for
5 papers
Positive Topology and Feasible Refinement: Forcing Matrices, Positivity, and Information
Mirco A. Mannucci, Giovanni Sambin
We develop a conceptual and operational account of Positive Topology starting from a basic relation between points or models and observable properties. From this relation, two comp…
The principle of pointfree continuity
Tatsuji Kawai, Giovanni Sambin
In the setting of constructive pointfree topology, we introduce a notion of continuous operation between pointfree topologies and the corresponding principle of pointfree continuit…
Topology as faithful communication through relations
Samuele Maschio, Giovanni Sambin
Basic pairs and their morphisms are the most elementary framework in which standard topological notions can be defined. We present here a new interpretation of topological concepts…
Convergence in Formal Topology: a unifying notion
Francesco Ciraulo, Maria Emilia Maietti, Giovanni Sambin
Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that o…
A constructive Galois connection between closure and interior
Francesco Ciraulo, Giovanni Sambin
We construct a Galois connection between closure and interior operators on a given set. All arguments are intuitionistically valid. Our construction is an intuitionistic version of…