Functor

class discopy.grammar.pregroup.Functor(ob=None, ar=None, dom=None, cod=None)

Bases: discopy.frobenius.Functor

A pregroup functor is a frobenius functor with a pregroup domain.

Parameters:

• ob (Mapping[Ob, Ob] | Callable[[Ob], Ob] | None) –

• ar (Mapping[Box, Arrow] | Callable[[Box], Arrow] | None) –

• dom (type) –

• cod (type) –

dom

alias of Diagram

cod

alias of Diagram