Rule

Contents

Rule#

class discopy.grammar.thue.Rule(dom, cod, name=None, **params)[source]#

Bases: discopy.monoidal.Box

A rule is a box with monoidal types as dom and cod and an optional name.

Parameters:

  • dom (C0) – The domain of the rule, i.e. its input.

  • cod (C0) – The codomain of the rule, i.e. its output.

  • name (str) – The name of the rule, empty by default.

Contents