Every theory is eventually of presheaf type

Christian Espíndola, Kristóf Kanalas

We give a detailed and self-contained introduction to the theory of $\lambda$-toposes and prove the following: 1) A $\lambda$-separable $\lambda$-topos has enough $\lambda$-points. 2) The classifying $\lambda$-…