From mboxrd@z Thu Jan 1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3436
Path: news.gmane.org!not-for-mail
From: "Prof. Peter Johnstone"
Newsgroups: gmane.science.mathematics.categories
Subject: Re: Are geometric categories balanced?
Date: Tue, 26 Sep 2006 08:51:41 +0100 (BST)
Message-ID:
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Trace: ger.gmane.org 1241019302 8724 80.91.229.2 (29 Apr 2009 15:35:02 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:35:02 +0000 (UTC)
To: categories@mta.ca
Original-X-From: rrosebru@mta.ca Tue Sep 26 08:00:18 2006 -0300
Return-path:
Envelope-to: categories-list@mta.ca
Delivery-date: Tue, 26 Sep 2006 08:00:18 -0300
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61)
(envelope-from )
id 1GSAcl-00056D-8u
for categories-list@mta.ca; Tue, 26 Sep 2006 07:57:15 -0300
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords:
X-UID: 26
Original-Lines: 27
Xref: news.gmane.org gmane.science.mathematics.categories:3436
Archived-At:
On Mon, 25 Sep 2006, Steve Vickers wrote:
> Am I right in believing that geometric categories (Elephant A 1.4.18)
> need not be balanced? (I don't know a counterexample - the geometric
> categories that I can think of are all toposes.)
>
Of course -- (cocomplete) quasitoposes are geometric categories as well,
and they needn't be balanced. Incidentally, Gordon Monro wrote a couple
of papers about the interpretation of logic in quasitoposes, which
appeared in JPAA 42 (1986).
> The Elephant gives two different definitions of geometric theory: by
> the pure logic in D 1.1.6, and by a more general notion of geometric
> construct in B 4.2.7. It asserts their equivalence, but I think this
> must be with respect to a semantics already presumed to be in
> Grothendieck toposes.
>
I've never really found a satisfactory conceptual explanation of why
these two definitions come out equivalent. Undoubtedly it's connected
with the fact that, in the recursive definition, one is thinking in
terms of interpretations in geometric categories, but is there more to it
than that?
Peter Johnstone