Bubble#

class discopy.cat.Bubble(arg, dom=None, cod=None)[source]#

Bases: Box

A bubble is a box with an arrow arg inside and an optional pair of objects dom and cod.

Parameters

  • arg (Arrow) – The arrow inside the bubble.

  • dom (T) – The domain of the bubble, default is that of other.

  • cod (T) – The codomain of the bubble, default is that of other.

property is_id_on_objects#

Whether the bubble is identity on objects.