  We show that Thompson's group F is the symmetry group of the "generic
idempotent". That is, take the monoidal category freely generated by an object
A and an isomorphism A \otimes A --> A; then F is the group of automorphisms of
A.
