Let $K$ be a field (not necessarily algraically closed). Let $\mathcal{F}$ be a contravariant functor from the category of schemes over $K$ to sets and $M$ be a coase moduli space for the functor. So, there is a morphism of contravariant functors from $\mathcal{F}$ to $h_M$ where $h_M:=Hom(−,M)$ such that $\mathcal{F}(\bar{K})$ is bijective to $h_M(\bar{K})$, where $\bar{K}$ is an algebraic closure of $K$. So, the natural morphism from $\mbox{Spec}(\bar{K})$ to $\mbox{Spec}(K)$ gives rise to a natural transformation. As far as I understand this means that if $\mathcal{F}(K)$ is non-empty which maps to something non-empty in $\mathcal{F}(\bar{K})$ the image of $\mathcal{F}(K)$ in $h
_M(\bar{K})$ under the composition of the morphism $\mathcal{F}(K) \to \mathcal{F}(\bar{K}) \xrightarrow{\sim} h_M(\bar{K})$ is non-empty (due to the bijectivity over $\bar{K}$). By the commutativity of the diagram (coming from the natural transformation) this means that $h_M(K)$ is non-empty. Is this correct?