Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness
We introduce an apparent strengthening of Sufficient Cohesion that we call Stable Connected Codiscreteness (SCC) and show that if $p: E --> S$ is cohesive and satisfies SCC then the internal axiom of choice holds in $S$. Moreover, in this case, $p^!: S --> E$ is equivalent to the inclusion $E_...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2015 |
| País: | Argentina |
| Institución: | Consejo Nacional de Investigaciones Científicas y Técnicas |
| Repositorio: | CONICET Digital (CONICET) |
| Idioma: | inglés |
| OAI Identifier: | oai:ri.conicet.gov.ar:11336/54296 |
| Acceso en línea: | http://hdl.handle.net/11336/54296 |
| Access Level: | acceso abierto |
| Palabra clave: | Topos Axiomatic Cohesion https://purl.org/becyt/ford/1.1 https://purl.org/becyt/ford/1 |
| Sumario: | We introduce an apparent strengthening of Sufficient Cohesion that we call Stable Connected Codiscreteness (SCC) and show that if $p: E --> S$ is cohesive and satisfies SCC then the internal axiom of choice holds in $S$. Moreover, in this case, $p^!: S --> E$ is equivalent to the inclusion $E_{\neg\neg} --> E$. |
|---|