- class discopy.cat.Bubble(arg, dom=None, cod=None)#
A bubble is a box with an arrow
arginside and an optional pair of objects
arg (Arrow) – The arrow inside the bubble.
dom (T) – The domain of the bubble, default is that of
cod (T) – The codomain of the bubble, default is that of
- property is_id_on_objects#
Whether the bubble is identity on objects.