# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeApr 26th 2011

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.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeApr 27th 2011
• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeMay 11th 2011

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.)

• CommentRowNumber4.
• CommentAuthorDavidRoberts
• CommentTimeOct 17th 2018

Added reference to the Elephant where it is proved that $Loc(X,Y) \to Topos(Sh(X),Sh(Y))$ is an equivalence of categories, where the former is given the canonical poset structure.

• CommentRowNumber5.
• CommentAuthorvarkor
• CommentTimeJan 22nd 2019

Fix order of functors in change-of-base adjunction.

• CommentRowNumber6.
• CommentAuthorUrs
• CommentTimeOct 10th 2020