Dialectica and Chu constructions: cousins?
This note investigates two generic constructions used to produce categorical models of linear logic, the Chu construction and the Dialectica construction, in parallel. The constructions have the same objects, but are rather different in other ways. We discuss similarities and differences and prove that the dialectica construction can be done over a symmetric monoidal closed basis. We also point out several interesting open problems concerning the Dialectica construction.
de Paiva, V. Dialectica and Chu constructions: cousins? Theory and Applications of Categories. 2006; 17 (7): 127-152.