adjunction - graphical calculus for multivariable adjunctions

Tags: multivariable adjunction