2021/01/19 by Lachlan McPheat, Mehrnoosh Sadrzadeh, Hadi Wazni +1
Computer Science · #Algebra over a field #Categorical variable #Category theory #Extension (predicate logic) #Functor #Logic, programming, and type systems #Natural Language Processing Techniques #Permutation (music) #Principle of compositionality #Semantics (computer science) #Topic Modeling #Vector space #cs.LO
paper · pdf · doi:10.4204/eptcs.333.12
published as EPTCS 333, 2021, pp. 168-182 · In Proceedings ACT 2020, arXiv:2101.07888. arXiv admin note: substantial text overlap with arXiv:2005.03074
openalex publication_date 2021/01/19 · arxiv created 2021/01/26 · arxiv updated 2021/01/27 · openalex created_date 2021/02/01 · openalex updated_date 2026/08/05
We develop a categorical compositional distributional semantics for Lambek Calculus with a Relevant Modality, which has a limited version of the contraction and permutation rules. The categorical part of the semantics is a monoidal biclosed category with a coalgebra modality as defined on Differential Categories. We instantiate this category to finite dimensional vector spaces and linear maps via quantisation functors and work with three concrete interpretations of the coalgebra modality. We apply the model to construct categorical and concrete semantic interpretations for the motivating example of this extended calculus: the derivation of a phrase with a parasitic gap. The effectiveness of the concrete interpretations are evaluated via a disambiguation task, on an extension of a sentence disambiguation dataset to parasitic gap phrases, using BERT, Word2Vec, and FastText vectors and Relational tensors