An application of descent to a classification theorem for toposes

DOI10.1017/S0305004100068365zbMath0698.18003MaRDI QIDQ3475447

Marta C. Bunge

Publication date: 1990

Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

zbMATH Keywords

stacksdescent theoryprincipal bundlesclassifying toposstack completionspatial groupoid

Mathematics Subject Classification ID

Topoi (18B25) Abstract manifolds and fiber bundles (category-theoretic aspects) (18F15)

Related Items (16)

Localic metric spaces and the localic Gelfand duality ⋮ Pseudogroups and their torsors ⋮ Cosheaves and distributions on toposes ⋮ Open maps of involutive quantales ⋮ Principal bundles as Frobenius adjunctions with application to geometric morphisms ⋮ An étalé space construction for stacks ⋮ van Kampen theorems for toposes ⋮ Groupoid sheaves as quantale sheaves ⋮ Effective equivalence relations and principal quantales ⋮ Unnamed Item ⋮ Functoriality of groupoid quantales. II ⋮ Morita equivalence of pseudogroups ⋮ Étale stacks as prolongations ⋮ Unnamed Item ⋮ Functoriality of groupoid quantales. I. ⋮ Classifying toposes and foliations

Cites Work

• Realization of cohomology classes in arbitrary exact categories
• An extension of the Galois theory of Grothendieck
• The Discrete Objects in the Effective Topos
• Grothendieck toposes have boolean points a new proof
• Adjoint triangles
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An application of descent to a classification theorem for toposes