[FOM] acceptable enumerations

T.Forster at dpmms.cam.ac.uk T.Forster at dpmms.cam.ac.uk
Sun Dec 25 20:46:06 EST 2011


Many thanks to my Cambridge colleague Peter Smith, who has shown me a 
passage in Odifreddi where all this is explained perfectly. As i suspected, 
it has something to do with cartesian-closed categories...




More information about the FOM mailing list