Category

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

Bases: discopy.monoidal.Category

A closed category is a monoidal category with methods exp (over and / or under), ev and curry.

Parameters:

• ob (type) – The type of objects.

• ar (type) – The type of arrows.

ob

alias of Ty

ar

alias of Diagram