Proper maps of toposes

DOI10.1090/memo/0705zbMath0961.18003OpenAlexW2013311002MaRDI QIDQ4516344

J. J. C. Vermeulen, Ieke Moerdijk

Publication date: 29 November 2000

Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/memo/0705

zbMATH Keywords

localesproper mapsfiltered categoriesGalois theory of Grothendieckdescent theoremsBeck-Chevalley conditionsdirect image functorseffective lax descent morphismsfiltered inverse limitsinternal sites in toposMakkai-Zawadowski descent theorem for coherent toposespointed connected atomic toposesstability under pullbacktidy maps

Mathematics Subject Classification ID

Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Categorical logic, topoi (03G30) Topoi (18B25) Frames, locales (06D22) Topological groupoids (including differentiable and Lie groupoids) (22A22) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Grothendieck topologies and Grothendieck topoi (18F10) Research exposition (monographs, survey articles) pertaining to category theory (18-02)

Related Items (8)

Unnamed Item ⋮ On toposes generated by cardinal finite objects ⋮ Measure theory over boolean toposes ⋮ Completely regular proper reflection of locales over a given locale ⋮ A note on proper maps of locales ⋮ Pitts monads and a lax descent theorem ⋮ Étale stacks as prolongations ⋮ Complemented sublocales and open maps

This page was built for publication: Proper maps of toposes