Added some brief remarks and references on Dialectica categories, the relation to Chu constructions, and cardinal invariants of the continuum.
]]>Made a start. I linked to lenses (in computer science) since according to the penultimate entry there, Gödel provided the first instance. I guess the connection goes via games, linear logic, etc.
Anyway, to be expanded by someone who knows about these things.
]]>