The 2-Chu-Dialectica Construction and the Polycategory of Multivariable Adjunctions (Shulman, 2020)

• polycategory
• Dialectica
• star-autonomous category
• adjunction - multivariable adjunction