Atomic toposes

DOI10.1016/0022-4049(80)90020-1zbMath0429.18006OpenAlexW4210418516MaRDI QIDQ1137631

Michael Barr, Radu Diaconescu

Publication date: 1980

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(80)90020-1

zbMATH Keywords

atomgroupoidGrothendieck toposfactorization theoremsgeometric morphismlocal homeomorphismcomplete atomic boolean algebraleft exact left adjointlogical morphismset-valued sheaves on sites

Mathematics Subject Classification ID

Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Grothendieck topologies and Grothendieck topoi (18F10)

Related Items (26)

Localic Galois theory ⋮ Representation of categories ⋮ A categorical setting for the 4-colour theorem ⋮ On Finitary Functors ⋮ Near-discreteness of modules and spaces as measured by Gabriel and Cantor ⋮ Lambek's categorical proof theory and Läuchli's abstract realizability ⋮ What is the fundamental group? ⋮ A topos-theorist looks at dilators ⋮ Quantitative domains, groupoids and linear logic ⋮ Open maps of toposes ⋮ Molecular toposes ⋮ Unnamed Item ⋮ Sites whose topoi are the smooth representations of locally prodiscrete monoids ⋮ Etendues and categories with monic maps ⋮ Full Continuous Embeddings of Toposes ⋮ An algebraic approach to stable domains ⋮ Morita equivalence for continuous groups ⋮ On the representation theory of Galois and atomic topoi. ⋮ Unnamed Item ⋮ Every étendue comes from a local equivalence relation ⋮ Ultrapowers as sheaves on a category of ultrafilters ⋮ Unnamed Item ⋮ The Classifying Topos of a Continuous Groupoid. I ⋮ Boolean classifying topoi ⋮ Quotients of decidable objects in a topos ⋮ Cofibrations in the bicategory of topoi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Change of base for toposes with generators
• Colimits in Topoi

This page was built for publication: Atomic toposes