Then there exists an isomorphism reflecting regular functor $C\to \widehat{C}$ where $\widehat{C}$ is capital, small and regular. Hence in particular, there is an isomorphism-reflecting regular functor $C\to Set$.