Category

class discopy.grammar.pregroup.Category(ob=None, ar=None)

Bases: Category

A pregroup category has rigid types and frobenius diagrams.

Parameters:

• ob (type) –

• ar (type) –

ob

alias of Ty

ar

alias of Diagram