Lambek pregroups are Frobenius spiders in preorders
From MaRDI portal
Publication:5087659
DOI10.32408/COMPOSITIONALITY-4-1zbMATH Open1489.91212arXiv2105.03038OpenAlexW3162871608MaRDI QIDQ5087659FDOQ5087659
Publication date: 1 July 2022
Published in: Compositionality (Search for Journal in Brave)
Abstract: "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 spider algebras in general can be characterized as unions of pregroups. This extends the characterization of relational spider algebras as disjoint unions of groups. The compositional framework that emerged with the results suggests new ways to understand and apply the basis structures in machine learning and data analysis.
Full work available at URL: https://arxiv.org/abs/2105.03038
This page was built for publication: Lambek pregroups are Frobenius spiders in preorders
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5087659)
