Category

class discopy.monoidal.Category(ob=None, ar=None)

Bases: discopy.cat.Category

A monoidal category is a category with a method tensor.

Parameters

• ob (type) – The type of objects.

• ar (type) – The type of arrows.

ob

alias of Ty

ar

alias of Diagram