For coherent spaces in topology, see spectral space.
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 spaceF over C is a family of C-subsets for which F = (F⊥) ⊥.
In Proofs and Types coherent spaces are called coherence spaces. A footnote explains that although in the French original they were espaces cohérents, the coherence space translation was used because spectral spaces are sometimes called coherent spaces.
In proof theory, a coherentspace (also coherence space) is a concept introduced in the semantic study of linear logic. Let a set C be given. Two subsets...
spectral space is a topological space that is homeomorphic to the spectrum of a commutative ring. It is sometimes also called a coherentspace because...
manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves...
In physics, specifically in quantum mechanics, a coherent state is the specific quantum state of the quantum harmonic oscillator, often described as a...
Non-coherentspace time codes are a way of transmitting data in wireless communications. In this multiple antenna scheme, it is assumed that the receiver...
coherent analytic sheaf. For example, on a coherentspace, locally free sheaves and sheaves of ideals are coherent analytic sheaves. Analytic spaces over...
operators to move the coherent states around the phase space. These can produce new coherent states and allow us to move around phase space. The phase-shifting...
Look up coherence, coherency, coherent, incoherence, or incoherent in Wiktionary, the free dictionary. Coherence is, in general, a state or situation...
classes of sober spaces: The category CohSp of coherentspaces (and coherent maps) is equivalent to the category CohLoc of coherent (or spectral) locales...
intensity). The system can accommodate coherent units for an unlimited number of additional quantities. These are called coherent derived units, which can always...
In physics, a squeezed coherent state is a quantum state that is usually described by two non-commuting observables having continuous spectra of eigenvalues...
Coherent diffractive imaging (CDI) is a "lensless" technique for 2D or 3D reconstruction of the image of nanoscale structures such as nanotubes, nanocrystals...
on a complex analytic space, and an analogous notion of a coherent algebraic sheaf on a scheme. In both cases, the given space X {\displaystyle X} comes...
described by Jean-Yves Girard. Linear logic Ludics Geometry of interaction Coherentspace Deep inference Interaction nets Girard, Jean-Yves. Linear logic, Theoretical...
a number of properties that a risk measure might or might not have. A coherent risk measure is a function that satisfies properties of monotonicity, sub-additivity...
Coherent states have been introduced in a physical context, first as quasi-classical states in quantum mechanics, then as the backbone of quantum optics...
SGA 6 Expo I introduces the notion of a pseudo-coherent sheaf. By definition, given a ringed space ( X , O X ) {\displaystyle (X,{\mathcal {O}}_{X})}...
topology, a coherent topology is a topology that is uniquely determined by a family of subspaces. Loosely speaking, a topological space is coherent with a...
International Herald Tribune, and CNET. Vance hosted an audio podcast called Semi-Coherent Computing from 2007–2008, in which he discussed enterprise computing topics...
Coherent optical module refers to a typically hot-pluggable coherent optical transceiver that uses coherent modulation (BPSK/QPSK/QAM) rather than amplitude...
the two coherent states. Contrary to the other bosonic codes that aim at delocalizing information in both direct space and in reciprocal space, the 2-component...
In mathematics, a ringed space is a family of (commutative) rings parametrized by open subsets of a topological space together with ring homomorphisms...
don't. In the simplest definition, a compactly generated space is a space that is coherent with the family of its compact subspaces, meaning that for every...
Lagrangian coherent structures (LCSs) are distinguished surfaces of trajectories in a dynamical system that exert a major influence on nearby trajectories...
Global Information