Dim

Contents

Dim#

class discopy.tensor.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