  We give a detailed and self-contained introduction to the theory of $\lambda
$-toposes and prove the following: 1) A $\lambda $-separable $\lambda $-topos
(one whose defining site has a certain smallness property) has enough $\lambda
$-points. 2) Given a $\kappa $-site, its classifying $\lambda $-topos is of
presheaf type (assuming $\kappa \vartriangleleft \lambda =\lambda ^{<\lambda
}$).
