Feedback

Contents

Feedback#

class discopy.feedback.Feedback(arg, dom=None, cod=None, mem=None, left=False)[source]#

Bases: Bubble, Box

Feedback is a bubble that takes a diagram from dom @ mem.delay() to cod @ mem and returns a box from dom to cod.

Examples

>>> from discopy.drawing import Equation
>>> x, y, z = map(Ty, "xyz")
>>> f = Box('f', x @ y.delay(), z @ y)
>>> fb = f.feedback()
>>> Equation(f, fb, symbol="$\\mapsto$").draw(
...     path="docs/_static/feedback/feedback-operator.png")
../_images/feedback-operator.png
Parameters:

  • arg (Diagram) –

  • dom (T) –

  • cod (T) –

Contents