From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2167
Path: news.gmane.org!not-for-mail
From: Galchin Vasili <vngalchin@yahoo.com>
Newsgroups: gmane.science.mathematics.categories
Subject: Category of Heyting Algebras
Date: Tue, 11 Feb 2003 13:48:17 -0800 (PST)
Message-ID: <20030211214817.55877.qmail@web12203.mail.yahoo.com>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
X-Trace: ger.gmane.org 1241018461 2812 80.91.229.2 (29 Apr 2009 15:21:01 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:21:01 +0000 (UTC)
To: categories@mta.ca
Original-X-From: rrosebru@mta.ca Wed Feb 12 11:25:26 2003 -0400
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Wed, 12 Feb 2003 11:25:26 -0400
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10)
	id 18iyfd-0002Yp-00
	for categories-list@mta.ca; Wed, 12 Feb 2003 11:19:33 -0400
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 22
Original-Lines: 21
Xref: news.gmane.org gmane.science.mathematics.categories:2167
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/2167>


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