# Lambek pregroups are Frobenius spiders in preorders

@article{Pavlovic2022LambekPA, title={Lambek pregroups are Frobenius spiders in preorders}, author={Dusko Pavlovic}, journal={Compositionality}, year={2022}, volume={4}, pages={1} }

"Spider" is a nickname of special Frobenius algebras, a fundamental structure from mathematics, physics, and computer science. Pregroups are a fundamental structure from linguistics. Pregroups and spiders have been used together in natural language processing: one for syntax, the other for semantics. It turns out that pregroups themselves can be characterized as pointed spiders in the category of preordered relations, where they naturally arise from grammars. The other way around, preordered…

## One Citation

### Grammar equations

- LinguisticsSEMSPACE
- 2021

This work gives a nogo-theorem for the fact that wirings for words make no sense for preordered monoids, the form which grammatical calculi usually take, and paves the way for a new theory of grammar that provides novel ‘grammatical truths’.

## References

SHOWING 1-10 OF 81 REFERENCES

### Quantum and classical structures in nondeterministic computation

- Proceedings of Quantum Interaction 2009,
- 2009

### A new description of orthogonal bases

- MathematicsMathematical Structures in Computer Science
- 2012

We show that an orthogonal basis for a finite-dimensional Hilbert space can be equivalently characterised as a commutative †-Frobenius monoid in the category FdHilb, which has finite-dimensional…

### Geometry of abstraction in quantum computation

- Computer ScienceClassical and Quantum Information Assurance Foundations and Practice
- 2009

The paper reconstructs Simon's algorithm, which is a sim ple predecessor of Shor's quantum algorithms for factoring and discrete loga rithms, and analyzes function abstraction in quantum computation, which turns out to characterize its clas sical interfaces.

### QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer

- Computer ScienceArXiv
- 2021

Results on the first NLP experiments conducted on Noisy Intermediate-Scale Quantum (NISQ) computers for datasets of size ≥ 100 sentences are presented.

### Functorial semantics for partial theories

- MathematicsProc. ACM Program. Lang.
- 2021

A Lawvere-style definition for partial theories, extending the classical notion of equational theory by allowing partially defined operations, and demonstrating the expressivity of such equational theories by considering a number of examples.

### Language Models are Few-Shot Learners

- Computer ScienceNeurIPS
- 2020

GPT-3 achieves strong performance on many NLP datasets, including translation, question-answering, and cloze tasks, as well as several tasks that require on-the-fly reasoning or domain adaptation, such as unscrambling words, using a novel word in a sentence, or performing 3-digit arithmetic.

### A Frobenius Algebraic Analysis for Parasitic Gaps

- MathematicsFLAP
- 2020

This work identifies two types of parasitic gapping where the duplication of semantic content can be confined to the lexicon and proposes a polymorphic type schema for the head of the adjunct phrase that introduces the primary gap.

### Quantum Natural Language Processing on Near-Term Quantum Computers

- Computer ScienceQPL
- 2020

This work presents a method for mapping DisCoCat diagrams to quantum circuits, compatible both with NISQ devices and with established Quantum Machine Learning techniques, paving the way to near-term applications of quantum technology to natural language processing.

### The nucleus of an adjunction and the Street monad on monads

- MathematicsArXiv
- 2020

It is shown that every adjunction can be resolved into a nuclear adjunction, and that the resulting Street monad on monads is strictly idempotent, and extracts the nucleus of a monad.