An abstract characterization of Thompson's group F
  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. 
Marcelo Fiore, Tom Leinster