The 2-Polycategorical structure of multivariable adjoints

Last updated Feb 3, 2024

Tags: multivariable adjunction, polycategory, 2-polycategory.