Continuous cohesion over sets

A pre-cohesive geometric morphism p : E → S satisfies Continuity if the canonical p!(Xp ∗S) → (p!X) S is an iso for every X in E and S in S. We show that if S = Set and E is a presheaf topos then, p satisfies Continuity if and only if it is a quality type. Our proof of this characterization rests on...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Menni, Matías
Formato: Articulo Preprint
Lenguaje:Inglés
Publicado: 2014
Materias:
Matemática
Axiomatic cohesion
Topos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/99759
https://ri.conicet.gov.ar/11336/46008
http://www.tac.mta.ca/tac/volumes/29/20/29-20.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares