biclosed

The free biclosed monoidal category, i.e. with left and right exponentials.

Summary

Wire	A biclosed object is a self-dagger monoidal.Wire, i.e. its left and right colours always match.
Ty	A biclosed type is a monoidal type that can be exponentiated.
Exp	A base type to an exponent type, called with **.
Over	An exponent type over a base type, called with <<.
Under	A base type under an exponent type, called with >>.
Diagram	A biclosed diagram is a monoidal diagram with Curry and Eval boxes.
Box	A biclosed box is a monoidal box in a biclosed diagram.
Eval	The evaluation of an exponential type.
Coeval	The coevaluation of an exponential type, i.e. the dagger of Eval.
Curry	The currying of a biclosed diagram.
Sum	A biclosed sum is a monoidal sum and a biclosed box.
Functor	A biclosed functor is a monoidal functor that preserves evaluation and currying.
CMap	alias of CMap[Diagram]
TermBase	A term in the internal language of biclosed categories.
Constant	A constant term of defined by a Diagram with dom=X, cod=Y.
Variable	A variable with a string as name and a Ty.
Application	The application either func(args) of a term func of type Y << X to a term args of type X or args(func, left=True) of a term args of type X fed as input to a term func of type X >> Y.
Abstraction

Axioms

Diagram.curry() and Diagram.uncurry() are inverses.

>>> x, y, z = map(Ty, "xyz")
>>> f, g, h = Box('f', x, z << y), Box('g', x @ y, z), Box('h', y, x >> z)

>>> Equation(f.uncurry(left=True).curry(left=True), f).draw(
...     doctest='docs/_static/biclosed/curry-left.svg', margins=(0.1, 0.05))

>>> Equation(h.uncurry(left=False).curry(left=False), h).draw(
...     doctest='docs/_static/biclosed/curry-right.svg', margins=(0.1, 0.05))

>>> Equation(
...     g.curry(left=True).uncurry(left=True), g,
...     g.curry(left=False).uncurry(left=False)).draw(
...         doctest='docs/_static/biclosed/uncurry.svg')

Compact currying

Diagram.to_compact() bends curry bubbles into coevaluation and feedback, which lands in CMap as a biclosed category has no trace.

>>> g.curry(left=True).uncurry(left=True).to_compact().draw(show=False,
...     doctest="docs/_static/cmap/biclosed-curry-left.dot")

>>> g.curry(left=False).uncurry(left=False).to_compact().draw(show=False,
...     doctest="docs/_static/cmap/biclosed-curry-right.dot")