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

Last updated Feb 3, 2024

#paper

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