Category#

class discopy.closed.Category(ob=None, ar=None)[source]#

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