Theorem 7.15. Assuming that:

$C$ small and regular

Then there exists a set

I

and an isomorphism-reflecting regular functor

C \to {S e t}^{I}

.