Abstract:This thesis is about the problem of compositionality in distributional semantics. Distributional semantics presupposes that the meanings of words are a function of their occurrences in textual contexts. It models words as distributions over these contexts and represents them as vectors in high dimensional spaces. The problem of compositionality for such models concerns itself with how to produce representations for larger units of text by composing the representations of smaller units of text. This thesis focuses on a particular approach to this compositionality problem, namely using the categorical framework developed by Coecke, Sadrzadeh, and Clark, which combines syntactic analysis formalisms with distributional semantic representations of meaning to produce syntactically motivated composition operations. This thesis shows how this approach can be theoretically extended and practically implemented to produce concrete compositional distributional models of natural language semantics. It furthermore demonstrates that such models can perform on par with, or better than, other competing approaches in the field of natural language processing. There are three principal contributions to computational linguistics in this thesis. The first is to extend the DisCoCat framework on the syntactic front and semantic front, incorporating a number of syntactic analysis formalisms and providing learning procedures allowing for the generation of concrete compositional distributional models. The second contribution is to evaluate the models developed from the procedures presented here, showing that they outperform other compositional distributional models present in the literature. The third contribution is to show how using category theory to solve linguistic problems forms a sound basis for research, illustrated by examples of work on this topic, that also suggest directions for future research.

A categorical account of composition methods in logic (extended version)

Composing Models.

Categorial compositionality II: universal constructions and a general theory of (quasi-)systematicity in human cognition

Composing Codensity Bisimulations

Composition series of arbitrary cardinality in modular lattices and abelian categories

Compositionality in Context

Formal composition of hybrid systems

A Complexity-Based Theory of Compositionality

Once and for all: how to compose modules -- The composition calculus

Constructing Fully Complete Models of Multiplicative Linear Logic

Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

Category-Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics

A Compositional Theory of Linearizability

Sequential composition of propositional logic programs

A van Benthem Theorem for Atomic and Molecular Logics

Unification of Modal Logic via Topological Categories

Bicategorical Models of Classical Propositional Logic

Axiomatizing modal inclusion logic and its variants

A probabilistic framework for analysing the compositionality of conceptual combinations

Extremal models and direct integrals in affine logic