Dim

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

Bases: Ty

A dimension is a tuple of positive integers with product @ and unit Dim(1).

Example

>>> Dim(1) @ Dim(2) @ Dim(3)
Dim(2, 3)

Parameters:

• inside (int)

• dom (C0)

• cod (C0)

generator_factory

alias of int

factory

alias of Dim