Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness
Material type:
ArticleDescription: 1 archivo (352,3 kB)Subject(s): Summary: We introduce an apparent strengthening of Suffcient Cohesion that we call stable Connected Codiscreteness (SCC) and show that if p : ε → S is cohesive and satisfies SCC then the internal axiom of choice holds in S. Moreover, in this case, p! : S → ε is equivalent to the inclusion ε → ε.
| Item type | Home library | Collection | Call number | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Capítulo de libro
|
Biblioteca de la Facultad de Informática | Biblioteca digital | A0793 (Browse shelf(Opens below)) | Link to resource | No corresponde |
Formato de archivo PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
We introduce an apparent strengthening of Suffcient Cohesion that we call stable Connected Codiscreteness (SCC) and show that if p : ε → S is cohesive and satisfies SCC then the internal axiom of choice holds in S. Moreover, in this case, p! : S → ε is equivalent to the inclusion ε → ε.
Theory and Applications of Categories, 30(26), pp. 909-932.