Ty

class discopy.pivotal.Ty(*inside)

Bases: discopy.rigid.Ty

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

Parameters

inside (Ob) – The objects inside the type.

ob_factory

alias of Ob

factory

alias of Ty