Ob

class discopy.cat.Ob(name='')

Bases: builtins.object

An object with a string as name.

Parameters:

name (str) – The name of the object.

Example

>>> x, x_, y = Ob('x'), Ob('x'), Ob('y')
>>> assert x == x_ and x != y

Note

The drawing attribute min_right_margin sets how much extra horizontal space (in drawing units) is added to the right of a wire labelled by this object, e.g. to make room for a long label.

>>> x.min_right_margin = 1.5

min_right_margin = 0

Extra space drawn to the right of a wire labelled by this object.

to_tree()

Serialise a DisCoPy object, see dumps().

Example

>>> Ob('x').to_tree()
{'factory': 'cat.Ob', 'name': 'x'}

Return type:

dict

classmethod from_tree(tree)

Decode a serialised DisCoPy object, see loads().

Parameters:

tree (dict) – DisCoPy serialisation.

Return type:

Ob

Example

>>> x = Ob('x')
>>> assert Ob.from_tree(x.to_tree()) == x