Tail

Contents

Tail#

class discopy.feedback.Tail(arg, time_step=0)[source]#

Bases: discopy.monoidal.Bubble, Box

The tail of a feedback diagram, interpreted as the stream starting from the second time step with the identity on the empty type at the first step.

Parameters:

arg (Diagram) –