pregroup

Contents

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.