Coherent space
id:
coherent-space-323-2156024
title:
Coherent space
text:
In proof theory, a coherent space (also coherence space) is a concept introduced in the semantic study of linear logic. Let a set C be given. Two subsets S,T ⊆ C are said to be orthogonal, written S ⊥ T, if S ∩ T is ∅ or a singleton. The dual of a family F ⊆ ℘(C) is the family F ⊥ of all subsets S ⊆ C orthogonal to every member of F, i.e., such that S ⊥ T for all T ∈ F. A coherent space F over C is a family of C-subsets for which F = (F ⊥) ⊥. In Proofs and Types coherent spaces are called cohere
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Coherent_space
date created:
date modified:
2022-08-05T15:18:55Z
main entity:
{"identifier":"Q5141363","url":"https://www.wikidata.org/entity/Q5141363"}
image:
fields total:
13
integrity:
13