Abstract:We look at the proofs of a fragment of Linear Logic as a whole: in fact, Linear Logic's coherent semantics interprets the proofs of a given formula $A$ as faces of an abstract simplicial complex, thus allowing us to see the set of the (interpretations of the) proofs of $A$ as a geometrical space, not just a set. This point of view has never been really investigated. For a ``webbed'' denotational semantics -- say the relational one --, it suffices to down-close the set of (the interpretations of the) proofs of $A$ in order to give rise to an abstract simplicial complex whose faces do correspond to proofs of $A$. Since this space comes triangulated by construction, a natural geometrical property to consider is its homology. However, we immediately stumble on a problem: if we want the homology to be invariant w.r.t. to some notion of type-isomorphism, we are naturally led to consider the homology functor acting, at the level of morphisms, on ``simplicial relations'' rather than simplicial maps as one does in topology. The task of defining the homology functor on this modified category can be achieved by considering a very simple monad, which is almost the same as the power-set monad; but, doing so, we end up considering not anymore the homology of the original space, but rather of its transformation under the action of the monad. Does this transformation keep the homology invariant ? Is this transformation meaningful from a geometrical or logical/computational point of view ?

The Geometry of Relations

Generic Compacta from Relations between Finite Graphs: Theory Building and Examples

Partial Orders of Bijectively Related or Homeomorphic Topologies

Topology of Complements of Skeletons

Finite topologies for finite geometries

Discrete homotopy and homology theories for finite posets

Polyhedral products over finite posets

Recovering the relative poset structure of a covering of schemes using glued topoi

Finite combinatorics implicit in the basic definitions of topology

Posets, their Incidence Algebras and Relative Operads, and the Cohomology Comparison Theorem

Posets arising as 1-skeleta of simple polytopes, the nonrevisiting path conjecture, and poset topology

Posets arising from decompositions of objects in a monoidal category

A model theory of topology

The Up Topology for Mirrored Topological Posets

Partially ordered set of zero-dimensional one-point extensions of a topological space

Local symmetries in partially ordered sets

Denotational semantics driven simplicial homology?

Dowker Complexes and filtrations on self-relations

Chainlink Polytopes and Ehrhart Equivalence

Copies of Monomorphic Structures

On the topology of conormal complexes and posets of matroids