Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness

Título:

Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness

Autor:

Lawvere, F. W.

Colaboradores:

; Menni, Matías

Temas:

TEORÍA DE TOPOSMATEMÁTICAS

En:

Theory and Applications of Categories, 30(26), pp. 909-932.

Resumen:

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 ε → ε.

URL/DOI:

Medio:

Soporte electrónico

Tipo de documento:

Artículo

Descripción física:

1 archivo (352,3 kB)

Idioma:

Inglés

Publicación:

, 2015

Puede solicitar más fácilmente el ejemplar con: A0793

Ver estantes