Category#

class discopy.grammar.pregroup.Category(ob=None, ar=None)[source]#

Bases: Category

A pregroup category has rigid types and frobenius diagrams.

Parameters:
  • ob (type) –

  • ar (type) –

ob#

alias of Ty

ar#

alias of Diagram