Every theory is eventually of presheaf type

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... Show more