Ty

class discopy.feedback.Ty(*inside)

Bases: discopy.monoidal.Ty

A feedback type is a monoidal type with delay, head and tail.

Parameters:

inside (str | cat.Ob) –

ob_factory

alias of Ob

delay(n_steps=1)

The delay of a feedback type by n_steps.

property head

The head of a feedback type, see HeadOb.

property tail

The tail of a feedback type, see TailOb.

property d

delay.

Type:

Syntactic sugar for meth

factory

alias of Ty