Abstract
In (5), Peter Freyd recently raised the question of whether every Grothendieck topos could be obtained from the topos of sets by means of the two constructions of taking sheaves on a locale and of taking continuous actions of a topological group (i.e. the topos-theoretic analogues of the set-theorists' techniques of forcing extensions and permutation models). He showed that these two constructions do suffice to within epsilon; provided we allow ourselves the freedom to take exponential varieties (4) (which do not change the internal logic of the topos) we can obtain every Grothendieck topos in this way.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Mathematical Proceedings of the Cambridge Philosophical Society
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
