16 Dec
2002
16 Dec
'02
7:53 p.m.
Andrej asks I seem to remember that some years ago at MFPS conference in Pittsburgh, Peter Freyd gave a talk on the internal logic of lex categories. Is this correct, and if so, has it been written down? It's probably easy to explain the gist of the talk, so if it has not been written down, perhaps someone with a memory better than mine can tell us what Freyd said. (Insert remarks about horse's mouth here.) The horse's work has moved from mouth to print: Cartesian logic. Theoret. Comput. Sci. 278 (2002), no. 1-2 The slogan is that the logic of unique existential quantification is the logic of cartesian categories. 16-Dec-2002 17:26:11 -0400,1564;000000000001-00000000