DisCoCat

Compiled with AI assistance and selectively reviewed. Please consult the cited passages; the books remain the authoritative source. About this companion

Editorial synthesis · provisional

Definition

DisCoCat, distributional compositional categorical semantics, combines distributional word meanings with grammatical composition in a categorical model of language. In the Coecke–Sadrzadeh–Clark framework presented here, grammatical relations guide computations on meanings rather than leaving words as isolated kernels. The corpus’s further links to embodiment and quantum diagrams remain applications and structural comparisons with their own qualifications.

Explanation

AB introduces the acronym as a concrete example of rigorous relational description and identifies Coecke, Sadrzadeh and Clark in its native note. Combining word meanings with grammatical structure does not, in that exposition, prove that every aspect of reality is relational or that living persistence can be replaced by notation.

PB specifies a pregroup grammar category and a meaning category linked by a strong monoidal functor. Grammatical reductions become contractions on word meanings, with verbs treated as processes. Its language module is explicitly distinguished from the proposed extension that treats embodied image schemas as generators, which is marked unverified.

The shared cup-and-wire calculus supports the author’s comparison with categorical quantum mechanics. It does not establish that sentence meaning is a physical quantum event. PB’s separation of ambient categories and AB’s narrower account of formalism keep that comparison within a declared structural and interpretive role.

Scope and attribution

Preserve the proposed subentry and exact acronym expansion.

AB — The Actual Book

The attributed example combines word meanings and grammatical structure.

Occurrence locators: 205; Notes: 250.

PB — The Possible Book

The formal language module is distinguished from its unverified embodied extension.

Occurrence locators: 146, 148, 149, 153, 162, 163.

Background used in the editorial explanation

Named theories and mechanisms are distinguished from neighboring background, homonyms and the author’s own synthesis. Reproduced AI passages retain their separate voice.