Lemma 4.10. Assuming that:

Then for each

A \in ob C

(A ↓ G)

has limits of shape

J

and the forgetful functor

(A ↓ G) \overset{U}{\to} D

creates them.