Ty#

class discopy.frobenius.Ty(*inside)[source]#

Bases: discopy.pivotal.Ty

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

Parameters:

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

ob_factory#

alias of Ob

factory#

alias of Ty