Informace o publikaci
Every theory is eventually of presheaf type
| Autoři | |
|---|---|
| Rok publikování | 2025 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | THEORY AND APPLICATIONS OF CATEGORIES |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://www.tac.mta.ca/tac/volumes/44/12/44-12abs.html |
| Klíčová slova | ?-topos; theory of presheaf type |
| Popis | We give a detailed and self-contained introduction to the theory of ?-toposes and prove the following: 1) A ?-separable ?-topos has enough ?-points. 2) The classifying ?-topos of a ?-site (C,E) is a presheaf topos (assuming ? ? ? = ?^<?, |C|, |E| < ?). |
| Související projekty: |