22 Aug
2002
22 Aug
'02
7:32 a.m.
Dear CT Community, I am new to Topos theory. Is it true that Hom[1->omega] in a topos defines a Heyting algebra? If so, please give me a reference where this is proved. Thanks and regards, Bill Halchin 22-Aug-2002 19:50:49 -0300,874;000000000000-00000000