11 Feb
2003
11 Feb
'03
9:48 p.m.
Hello, I have some questions about the category whose objects are Heyting algebras and whose arrows are Heyting algebra homomorphims. 1) Does this category possess a subobject classifier? 2) Is this category a CCC? 3) Is this category a topos? It would really be neat if 3) was true because of all kinds of self-reference or infinite regression, e.g. it's Omega would be an internal Heyting algebra, but my guess is "no" to all three. Regards, Bill Halchin