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 ?

Phylogenetic analysis and homology

Phylogenetic Analysis and mod 2 Homology

A survey of simplicial, relative, and chain complex homology theories for hypergraphs

Path Complexes and Their Homologies

Homology of Path Complexes and Hypergraphs

Homologies of Digraph

Comparing Homologies: Cech'S Theory, Singular Chains, Integral Flat Chains and Integral Currents

Local homology of abstract simplicial complexes

Simplicial intersection homology revisited

Denotational semantics driven simplicial homology?

A Dichotomy for Finite Abstract Simplicial Complexes

A simplicial approach to stratified homotopy theory

The Homology of Simplicial Complements and the Cohomology of Polyhedral Products

Homotopical decompositions of simplicial and Vietoris Rips complexes

On the homotopy links of stratified cell complexes

Inductive construction of path homology chains

Phylogenetic trees and homomorphisms

Homology Groups of Simplicial Complements

Homotopy types of diagrams of chain complexes

Multi-Dimensional Cohomological Phenomena in the Multiparametric Models of Random Simplicial Complexes

Bigraded path homology and the magnitude-path spectral sequence