Geodesic
The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
Theory and applications of categories, Tome 35 (2020), pp. 89-136

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

Cheng, Gurski, and Riehl constructed a cyclic double multicategory of multivariable adjunctions. We show that the same information is carried by a poly double category, in which opposite categories are polycategorical duals. Moreover, this poly double category is a full substructure of a double Chu construction, whose objects are a sort of polarized category, and which is a natural home for 2-categorical dualities.

We obtain the double Chu construction using a general "Chu-Dialectica" construction on polycategories, which includes both the Chu construction and the categorical Dialectica construction of de Paiva. The Chu and Dialectica constructions each impose additional hypotheses making the resulting polycategory representable (hence *-autonomous), but for different reasons; this leads to their apparent differences.

Publié le :
Classification : 18D10, 18D05
Keywords: multivariable adjunction, polycategory, Dialectica construction, Chu construction 
@article{TAC_2020_35_a3,
     author = {Michael Shulman},
     title = {The {2-Chu-Dialectica} construction and the polycategory of multivariable 
adjunctions},
     journal = {Theory and applications of categories},
     pages = {89--136},
     publisher = {mathdoc},
     volume = {35},
     year = {2020},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2020_35_a3/}
}
TY  - JOUR
AU  - Michael Shulman
TI  - The 2-Chu-Dialectica construction and the polycategory of multivariable 
adjunctions
JO  - Theory and applications of categories
PY  - 2020
SP  - 89
EP  - 136
VL  - 35
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2020_35_a3/
LA  - en
ID  - TAC_2020_35_a3
ER  - 
%0 Journal Article
%A Michael Shulman
%T The 2-Chu-Dialectica construction and the polycategory of multivariable 
adjunctions
%J Theory and applications of categories
%D 2020
%P 89-136
%V 35
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2020_35_a3/
%G en
%F TAC_2020_35_a3
Michael Shulman. The 2-Chu-Dialectica construction and the polycategory of multivariable 
adjunctions. Theory and applications of categories, Tome 35 (2020), pp. 89-136. http://geodesic.mathdoc.fr/item/TAC_2020_35_a3/