No CrossRef data available.
A topos with no geometric morphism to any Boolean one
Published online by Cambridge University Press: 24 October 2008
Extract
In [1], Julian Cole asked whether every topos is definable over a Boolean one. Peter Johnstone partially answered this in [2] (corollary 3·7) by giving an example of a topos admitting no bounded morphism to any Boolean topos. Here we give a simple example where boundedness is unnecessary.
- Type
- Research Article
- Information
- Mathematical Proceedings of the Cambridge Philosophical Society , Volume 97 , Issue 3 , May 1985 , pp. 397
- Copyright
- Copyright © Cambridge Philosophical Society 1985