Kartsaklis, Sadrzadeh, Pulman & Coecke (2014), Logic and Algebraic Structures in Quantum Computing (Chubb, Eskandarian & Harizanov, eds.), Cambridge University Press, 2016, ch. 9, pp. 199–222 — ARXIV-1401.5980
Standing in the record
Filed on 2026-09-27 at the owner’s request, with the foundational DisCoCat
paper it builds on filed in the same contribution. It is held here rather
than in the anthology because it is a formal account of linguistic meaning,
not a practice. published: is the arXiv v1 date, the first appearance
(ADR-002); the chapter appeared in 2016.
It was filed Deferred, unread. NOTE-246 is the close reading of 2026-09-27, and it placed the work: Active — worth reading for the construction, not for its evidence. It is the citable categorical statement of the Frobenius lift of DisCoCat verbs: the functorial recasting, S=N=W, and the copy-subject and copy-object maps. Its experiments are the authors’ COLING 2012 numbers, re-reported without that paper’s caveat that copy-object’s lead is statistically insignificant. The best disambiguation ρ is 0.172, against a human bound of 0.620. The construction depends on a choice of basis, which the paper cites but never draws the consequence of.