20 May
2003
20 May
'03
5:27 p.m.
John Conway wrote But if you're going to allow infinite classes, then trivially the set of all correspondences is a canonical one. Yes, but consider the correspondences between X and X* you get when you choose a basis for X. A basis element b of X corresponds to the functional that is 1 on b and 0 on the other basis elements. It seems to me that these correspondences should be the canonical set of correspondences. However, I don't know of a general criterion for preferring them.