  We review uniqueness results for the kinematical part of loop quantum
gravity. After sketching the general loop formalism, the holonomy-flux and the
Weyl algebras are introduced. In both cases, then, diffeomorphism invariant
representations are described.
