The Stacks project

Lemma 23.3.3. Let $\mathcal{C}$ be the category of divided power rings. Let $F : \mathcal{C} \to \textit{Sets}$ be a functor. Assume that

1. there exists a cardinal $\kappa $ such that for every $f \in F(A, I, \gamma )$ there exists a morphism $(A', I', \gamma ') \to (A, I, \gamma )$ of $\mathcal{C}$ such that $f$ is the image of $f' \in F(A', I', \gamma ')$ and $|A'| \leq \kappa $, and

2. $F$ commutes with limits.

Then $F$ is representable, i.e., there exists an object $(B, J, \delta )$ of $\mathcal{C}$ such that

functorially in $(A, I, \gamma )$.