On Representations of Grothendieck Toposes

DOI10.4153/CJM-1987-009-XMaRDI QIDQ3755628zbMATH OpenOpenAlexFDO

Authors Michael Barr, Michael Makkai

Publication date 1987

Published in Canadian Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4153/cjm-1987-009-x

zbMATH Keywords

Grothendieck toposesBoolean toposes

Mathematics Subject Classification ID

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

Recommendations

• Grothendieck toposes have boolean points a new proof
• Covering Etendues and Freyd's Theorem
• Representing topoi by topological groupoids
• Sheaf representation for topoi
• Representation of categories

Cited in

(10)

• Grothendieck representations of categories and canonical noncommutative topologies
• Atomic toposes and countable categoricity
• A theorem on Barr-exact categories, with an infinitary generalization
• Grothendieck topology and the theory of representations
• scientific article; zbMATH DE number 3955174 (Why is no real title available?)
• Grothendieck toposes have boolean points a new proof
• Ultrafilters, finite coproducts and locally connected classifying toposes
• scientific article; zbMATH DE number 7720031 (Why is no real title available?)
• Completeness results for intuitionistic and modal logic in a categorical setting
• An `unsitely' result on atomic morphisms

This page was built for publication: On Representations of Grothendieck Toposes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3755628)