Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

If $E$ is a topos, is there a nice way to characterize the category of logical morphisms $E\to Set$? Is it complete and/or cocomplete?

The topos $Set$ geometrically represents a point; what does it logically represent?

share|improve this question
2  
I'd be interested if there were any good answers to this. A related question is mathoverflow.net/questions/4044/logical-endofunctors-of-set where even in the case $E = Set$, existence of non-trivial logical endofunctors involve fairly large cardinal hypotheses. –  Todd Trimble Sep 12 '10 at 1:20
1  
What is a logical morphism? –  Martin Brandenburg Sep 13 '10 at 9:54
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.