biclosed

Implements the free biclosed monoidal category.

discopy.biclosed.Ty(*objects[, left, right])	Objects in a free biclosed monoidal category.
discopy.biclosed.Over([left, right])	Forward slash types.
discopy.biclosed.Under([left, right])	Backward slash types.
discopy.biclosed.Diagram(dom, cod, boxes, ...)	Diagrams in a biclosed monoidal category.
discopy.biclosed.Id([dom])	Identity diagram in a biclosed monoidal category.
discopy.biclosed.Box(name, dom, cod, **params)	Boxes in a biclosed monoidal category.
discopy.biclosed.Curry(diagram[, n_wires, left])	Curried diagram.
discopy.biclosed.FA(over)	Forward application box.
discopy.biclosed.BA(under)	Backward application box.
discopy.biclosed.FC(left, right)	Forward composition box.
discopy.biclosed.Functor(ob, ar[, ...])	Functors into biclosed monoidal categories.