adjunction - graphical calculus for multivariable adjunctions

Last updated Oct 14, 2024

Tags: adjunction - multivariable adjunction