Every theory is eventually of presheaf type - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

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 κ ◁ λ = λ <λ).
Fichier principal
Vignette du fichier
every_theory_is_of_presheaf_type.pdf (378.3 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04354457 , version 1 (19-12-2023)

Identifiants

  • HAL Id : hal-04354457 , version 1

Citer

Christian Espíndola, Kristóf Kanalas. Every theory is eventually of presheaf type. 2023. ⟨hal-04354457⟩
9 Consultations
3 Téléchargements

Partager

Gmail Facebook X LinkedIn More