On Representations of Grothendieck Toposes

DOI10.4153/CJM-1987-009-XzbMATH Open0619.18002OpenAlexW2322329889MaRDI QIDQ3755628FDOQ3755628

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

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

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)

Cited In (10)

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

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)