Dim#

class discopy.monoidal.Dim(*inside)[source]#

Bases: discopy.monoidal.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) –

ob_factory#

alias of int

factory#

alias of Dim