関数外延性を仮定する。\(i\)を階数、\(C:\mathord {\textnormal {\textsf {PreCat}}}(i)\)を前圏、\(A:\mathord {\textnormal {\textsf {Psh}}}(C)\)を前層とすると、同値

\(\mathord {\textnormal {\textsf {IsRepr}}}(A)\simeq \mathord {\textnormal {\textsf {Fiber}}}^{\cong }(\mathord {\textnormal {\textsf {よ}}}(C),A)\) を構成できる。