Bubble

class discopy.cat.Bubble(arg, dom=None, cod=None)

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.