nLab coherence space

Idea

The notion of coherence space (sometimes “coherent space”) is used for the semantics of linear logic in proof theory. They form a star-autonomous category.

Coherence spaces can be defined as arity spaces for the “subunary” class of arities $\{0,1\}$.

References

Last revised on August 4, 2019 at 01:16:03. See the history of this page for a list of all contributions to it.