Reference API
Notebooks
Extra
Bases: Functor
Functor
A pregroup functor is a frobenius functor with a pregroup domain.
ob (Mapping[Ob, Ob] | Callable[[Ob], Ob] | None) –
ar (Mapping[Box, Arrow] | Callable[[Box], Arrow] | None) –
dom (T) –
cod (T) –