pregroup#
A pregroup grammar is a free rigid category with words as boxes.
Summary#
A pregroup diagram is a rigid diagram with |
|
A pregroup box is a frobenius box in a pregroup diagram. |
|
A pregroup cup is a frobenius cup in a pregroup diagram. |
|
A pregroup cap is a frobenius cap in a pregroup diagram. |
|
A pregroup swap is a frobenius swap in a pregroup diagram. |
|
A word is a rigid box with a |
|
A pregroup category has rigid types and frobenius diagrams. |
|
A pregroup functor is a frobenius functor with a pregroup domain. |
Functions
Tries to parse a given list of words in an eager fashion. |
|
Given a vocabulary, search for grammatical sentences. |