Fibred sites and existential toposes
Autor: | Caramello, Olivia |
---|---|
Rok vydání: | 2022 |
Předmět: | |
Druh dokumentu: | Working Paper |
Popis: | In the context of relative topos theory via stacks, we introduce the notion of existential fibred site and of existential topos of such a site. These notions allow us to develop relative topos theory in a way which naturally generalizes the construction of toposes of sheaves on locales, and also provides a framework for investigating the connections between Grothendieck toposes as built from sites and elementary toposes as built from triposes. Then we focus on fibred preorder sites and establish a fibred generalisation of the ideal-completion of a preorder site. Lastly, we provide an explicit description of the hyperconnected-localic factorization of a geometric morphism in terms of internal locales. Comment: 45 pages |
Databáze: | arXiv |
Externí odkaz: |