Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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.
have added at geometric morphism a section Relation to homomorphisms of locales
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.)
added cross-link with natural homotopy
1 to 7 of 7