pregroup

A pregroup grammar is a free rigid category with words as boxes.

Summary

Diagram	A pregroup diagram is a rigid diagram with Word boxes.
Box	A pregroup box is a frobenius box in a pregroup diagram.
Cup	A pregroup cup is a frobenius cup in a pregroup diagram.
Cap	A pregroup cap is a frobenius cap in a pregroup diagram.
Swap	A pregroup swap is a frobenius swap in a pregroup diagram.
Word	A word is a rigid box with a name, a grammatical type as cod and an optional domain dom.
Category	A pregroup category has rigid types and frobenius diagrams.
Functor	A pregroup functor is a frobenius functor with a pregroup domain.

Functions

eager_parse	Tries to parse a given list of words in an eager fashion.
brute_force	Given a vocabulary, search for grammatical sentences.