FeedbackCategory#

class discopy.abc.FeedbackCategory[source]#

Bases: MarkovCategory, Generic

A feedback category is a MarkovCategory with a delay endofunctor and a feedback operator.

abstract delay(n_steps=1)[source]#

The delay endofunctor applied to a morphism.

Parameters:

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

Return type:

C1

abstract feedback(dom, cod, mem)[source]#

The feedback operator on a morphism.

Parameters:
  • dom (C0) – The domain of the feedback.

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

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

Return type:

C1