Connectedness through decidable quotients
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2023
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910915754983424 |
|---|---|
| author | Hernández, Enrique Ruiz Solórzano, Pedro |
| author_facet | Hernández, Enrique Ruiz Solórzano, Pedro |
| contents | By looking at decidable quotients, a sufficient condition is provided to guarantee that (1) the full subcategory of decidable objects of a topos is an exponential ideal and that (2) the classical notion of connectedness for an object $X$ coincides with $ΠX=1$, where $Π$ is the left-adjoint functor of the inclusion of the decidable objects.
The addition of this condition to McLarty's axiomatic set up for Synthetic Differential Geometry makes any topos that satisfies it precohesive over the topos of its decidable objects. A converse is also provided. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2311_16355 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Connectedness through decidable quotients Hernández, Enrique Ruiz Solórzano, Pedro Category Theory Logic Primary 18B25, Secondary 03G30, 03B38 By looking at decidable quotients, a sufficient condition is provided to guarantee that (1) the full subcategory of decidable objects of a topos is an exponential ideal and that (2) the classical notion of connectedness for an object $X$ coincides with $ΠX=1$, where $Π$ is the left-adjoint functor of the inclusion of the decidable objects. The addition of this condition to McLarty's axiomatic set up for Synthetic Differential Geometry makes any topos that satisfies it precohesive over the topos of its decidable objects. A converse is also provided. |
| title | Connectedness through decidable quotients |
| topic | Category Theory Logic Primary 18B25, Secondary 03G30, 03B38 |
| url | https://arxiv.org/abs/2311.16355 |