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

December 19, 2023

Loading full text...

Similar articles

Loading recommendations...

x1

Every theory is eventually of presheaf type

Click on play to start listening