[FOM] Computer searches for combinatorial bijections

[John McCarthy]

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?