A closed category is a monoidal category with methods exp
(over and / or under), ev and curry.
ob (type) – The type of objects.
ar (type) – The type of arrows.
alias of Ty
alias of Diagram