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}\{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.