$\mathsf{Q}\text{-}\mathbf{Set}$ is not generally a topos
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910981577244672 |
|---|---|
| author | Hu, Xiao Shen, Lili |
| author_facet | Hu, Xiao Shen, Lili |
| contents | For a commutative, unital and divisible quantale $\mathsf{Q}$, it is shown that the category of $\mathsf{Q}$-sets is a topos if, and only if, $\mathsf{Q}$ is a frame. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_08559 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | $\mathsf{Q}\text{-}\mathbf{Set}$ is not generally a topos Hu, Xiao Shen, Lili Category Theory 18F75, 18D20, 18B25 For a commutative, unital and divisible quantale $\mathsf{Q}$, it is shown that the category of $\mathsf{Q}$-sets is a topos if, and only if, $\mathsf{Q}$ is a frame. |
| title | $\mathsf{Q}\text{-}\mathbf{Set}$ is not generally a topos |
| topic | Category Theory 18F75, 18D20, 18B25 |
| url | https://arxiv.org/abs/2501.08559 |