The authors previously introduced a diffeomorphism-invariant definition of a homogeneous and isotropic sector of loop quantum gravity, along with a program to embed loop quantum cosmology into it. The present paper works out that program in detail for the simpler, but still physically non-trivial, case where the target of the... Show more