2-Filteredness and the point of every Galois topos

A connected locally connected topos is a Galois topos if the Galois objects generate the topos. We show that the full subcategory of Galois objects in any connected locally connected topos is an inversely 2-filtered 2-category, and as an application of the construction of 2-filtered bi-limits of top...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Dubuc, E.J.
Formato: JOUR
Materias:
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_09272852_v18_n2_p115_Dubuc
Aporte de:

Ejemplares similares