3 Dec
2002
3 Dec
'02
6:37 a.m.
Fact: In a topos, Hom (1, omega) is a Heyting algebra. Fact: A Heyting algebra is a CCC (closed catesian category). Question: is there a topos T where Hom (1, omega) itself is a topos or equivalently has a subobject classifier (in addition to being a CCC)? Question: If there is no such topos T, where can I find a proof that no such topos exists? Regards, Bill Halchin