[FOM] Computer searches for combinatorial bijections

John McCarthy jmc at cs.Stanford.EDU
Wed Feb 28 17:09:09 EST 2007

To repeat:

When there does not exist a canonical bijection, there may exist a
canonical set of bijections.  Thus there is no canonical bijection
between a vector space and its dual space, but each coordinate system
gives a bijection.  The set of coordinate systems is canonical.

What other domains admit simple canonical sets of bijections?

More information about the FOM mailing list