adjunction - graphical calculus for multivariable adjunctions

Tags: adjunction - multivariable adjunction