Universality of the lattice of transformation monoids
  The set of all transformation monoids on a fixed set of infinite cardinality \lambda, equipped with the order of inclusion, forms a complete algebraic lattice Mon(\lambda) with 2^{\lambda} compact elements. We show that this lattice is universal with respect to closed sublattices, i.e., the closed sublattices of Mon(\lambda) are, up to isomorphism, precisely the complete algebraic lattices with at most 2^{\lambda} compact elements. 
Michael Pinsker and Saharon Shelah
math.RA math.LO