Ty

class discopy.frobenius.Ty(*inside, dom=None, cod=None, _scan=True, **kwargs)

Bases: discopy.pivotal.Ty

A frobenius type is a pivotal type with frobenius objects inside.

Parameters:

• inside (frobenius.Ob) – The objects inside the type.

• dom (C0) –

• cod (C0) –

• _scan (bool) –

generator_factory

alias of Ob

factory

alias of Ty