Publication details
Every theory is eventually of presheaf type
| Authors | |
|---|---|
| Year of publication | 2025 |
| Type | Article in Periodical |
| Magazine / Source | THEORY AND APPLICATIONS OF CATEGORIES |
| MU Faculty or unit | |
| Citation | |
| web | http://www.tac.mta.ca/tac/volumes/44/12/44-12abs.html |
| Keywords | ?-topos; theory of presheaf type |
| Description | 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| < ?). |
| Related projects: |