[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