Dim

class discopy.monoidal.Dim(*inside)

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