Artículo
Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness
Fecha de publicación:
06/2015
Editorial:
Robert Rosebrugh
Revista:
Theory And Applications Of Categories
ISSN:
1201-561X
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
Resumen
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$.
Palabras clave:
Topos
,
Axiomatic Cohesion
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(CCT - LA PLATA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - LA PLATA
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - LA PLATA
Citación
Lawvere, F. W.; Menni, Matías; Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness; Robert Rosebrugh; Theory And Applications Of Categories; 30; 26; 6-2015; 909-932
Compartir