Abstract
This paper is about pregroup models of natural languages, and how they relateto the explicitly categorical use of pregroups in Compositional DistributionalSemantics and Natural Language Processing. These categorical interpretationsmake certain assumptions about the nature of natural languages that, whenstated formally, may be seen to impose strong restrictions on pregroup grammarsfor natural languages. We formalize this as a hypothesis about the form that pregroup models ofnatural languages must take, and demonstrate by an artificial language examplethat these restrictions are not imposed by the pregroup axioms themselves. Wecompare and contrast the artificial language examples with natural languages(using Welsh, a language where the 'noun' type cannot be taken as primitive, asan illustrative example). The hypothesis is simply that there must exist a causal connection, orinformation flow, between the words of a sentence in a language whose purposeis to communicate information. This is not necessarily the case with formallanguages that are simply generated by a series of 'meaning-free' rules. Thisimposes restrictions on the types of pregroup grammars that we expect to findin natural languages; we formalize this in algebraic, categorical, andgraphical terms. We take some preliminary steps in providing conditions that ensure pregroupmodels satisfy these conjectured properties, and discuss the more general formsthis hypothesis may take.