No, it doesn't. If it did, then it would preserve limits. But the category of Grothendieck toposes and geometric morphisms has a terminal object, namely the category of sets, while there are elementary toposes not admitting any geometric morphism to Set (for instance, any small elementary topos).
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment