Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
It should be pointed out (somewhere, sometime) the relationship between pregroups and residuated lattices, which appears in much older work of Lambek dating back at least to the 60’s. This work of Lambek was all of a piece, connecting module theory to proof theory to linguistics. I would like to add some of this history at some point.
Re #6: This blog post is saying something very similar, using a monoidal category for sentence derivations. “That is, a string $u \in V^\star$ is grammatical whenever there exists an arrow from the start symbol $s$ to $u$ in $\mathcal{C}_R$.” Morphisms in monoidal categories can be notated using string diagrams.
1 to 9 of 9