Polycategory of multivariable adjunctionsLast updated Feb 3, 2024Tags: polycategory, multivariable adjunction