Dim

Contents

Dim#

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

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)

factory#

alias of Dim

Contents