Polycategory of multivariable adjunctions

Last updated Oct 14, 2024

Tags: polycategory, adjunction - multivariable adjunction