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

Last updated Oct 7, 2024

#paper

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