Feedback

class discopy.para.Feedback(dom, cod, inside, param=None, copar=None)

Bases: Markov, discopy.abc.FeedbackCategory

Parametric maps over a feedback underlying category form a feedback category, with delay() applied to all five components.

Parameters:

• dom (ob)

• cod (ob)

• inside (category)

• param (ob)

• copar (ob)

category

alias of Diagram

delay(n_steps=1)

Delay a parametric map by delaying its underlying morphism together with its domain, codomain, parameter and coparameter spaces.

Parameters:

n_steps (int) – The number of time steps to delay.

Return type:

Feedback

feedback(dom=None, cod=None, mem=None)

The feedback of the underlying category, with the parameters swapped out of the way the same as Traced.trace().

Parameters:

• dom (Ty) – The domain of the feedback.

• cod (Ty) – The codomain of the feedback.

• mem (Ty) – The memory type to trace over.

Return type:

Feedback