Every theory is eventually of presheaf type
Résumé
We give a detailed and self-contained introduction to the theory of λ-toposes and prove the following: 1) A λ-separable λ-topos (one whose defining site has a certain smallness property) has enough λ-points. 2) Given a κ-site, its classifying λ-topos is of presheaf type (assuming κ ◁ λ = λ <λ).
Domaines
Mathématiques [math]
Origine : Fichiers produits par l'(les) auteur(s)