From mboxrd@z Thu Jan 1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2169
Path: news.gmane.org!not-for-mail
From: "Prof. Peter Johnstone"
Newsgroups: gmane.science.mathematics.categories
Subject: Re: Category of Heyting Algebras
Date: Wed, 12 Feb 2003 17:03:26 +0000 (GMT)
Message-ID:
References: <20030211214817.55877.qmail@web12203.mail.yahoo.com>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Trace: ger.gmane.org 1241018462 2830 80.91.229.2 (29 Apr 2009 15:21:02 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:21:02 +0000 (UTC)
To: categories@mta.ca
Original-X-From: rrosebru@mta.ca Wed Feb 12 15:10:14 2003 -0400
Return-path:
Envelope-to: categories-list@mta.ca
Delivery-date: Wed, 12 Feb 2003 15:10:14 -0400
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10)
id 18j2AR-00076n-00
for categories-list@mta.ca; Wed, 12 Feb 2003 15:03:35 -0400
In-Reply-To: <20030211214817.55877.qmail@web12203.mail.yahoo.com>
X-Scanner: exiscan for exim4 (http://duncanthrax.net/exiscan/) *18j0IB-0003ei-00*Vu274ehEKDo*
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords:
X-UID: 24
Original-Lines: 39
Xref: news.gmane.org gmane.science.mathematics.categories:2169
Archived-At:
On Tue, 11 Feb 2003, Galchin Vasili wrote:
>
> 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?
>
The category of Heyting algebras has no hope of being cartesian closed
because its initial object (the free HA on one generator) is not
strict initial. It doesn't have a subobject classifier either, because
the theory of Heyting algebras doesn't have enough unary operations
to satisfy the conditions of Theorem 1.3 in my paper "Collapsed
Toposes and Cartesian Closed Varieties" (J. Algebra 129, 1990).
On the other hand, the terminal object in the category of Heyting
algebras is strict, which suggests that the dual of the category
might come rather closer to being a topos (although, by an observation
which I posted a couple of months ago, it can't have a subobject
classifier). Indeed, the dual of (finitely-presented Heyting
algebras) is remarkably well-behaved, as shown by Silvio Ghilardi
and Marek Zawadowski ("A Sheaf Representation and Duality for
Finitely Presented Heyting Algebras", J.Symbolic Logic 60, 1995):
they identified a particular topos in which it embeds (non-fully,
but conservatively) as a subcategory closed under finite limits,
images and universal quantification.
Peter Johnstone