Bubble
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 objectsdom
andcod
.- 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.