Dim

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

Bases: discopy.monoidal.Dim, Ty

A dimension is a tuple of integers greater than one seen as a type.

Parameters:

• inside (int)

• dom (C0)

• cod (C0)

unwind()

A dimension is self-dual, so it is its own unwinding.

>>> assert Dim(2).unwind() == Dim(2)

Return type:

Dim

factory

alias of Dim