This page is lacking original historical references. What’s an original reference for the idea that maps of topological spaces generalize to geometric morphisms between toposes?
]]>added cross-link with natural homotopy
]]>Fix order of functors in change-of-base adjunction.
]]>Added reference to the Elephant where it is proved that is an equivalence of categories, where the former is given the canonical poset structure.
]]>I have been expanding geometric morphism by statements and proofs of various basic facts, mostly in the section between presheaf toposes.
(I am using this as lecture notes in an introductory course.)
]]>have added at geometric morphism a section Relation to homomorphisms of locales
]]>at geometric morphism in the new section Structure preserved by geometric morphisms I wanted to expand on Johnstone’s remark B2.2.7 on how geometric morphisms preserve the characteristic well-powerdness of toposes as indexed categories over themselves. I have started at indexed category a section on well-poweredness for that purpose, but I have to leave things in very incomplete form for the moment.
]]>