Lemma 7.14. Assuming that:

Then there exists an isomorphism reflecting regular functor

C \to \hat{C}

where

C

is capital. Hence in particular, there is an isomorphism-reflecting regular functor

C \to S e t