From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2482 Path: news.gmane.org!not-for-mail From: "John Baez" Newsgroups: gmane.science.mathematics.categories Subject: regular, geometric and coherent categories Date: Thu, 23 Oct 2003 16:33:29 -0700 (PDT) Message-ID: <200310232333.h9NNXTZ24668@math-ws-n09.ucr.edu> NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018697 4365 80.91.229.2 (29 Apr 2009 15:24:57 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:24:57 +0000 (UTC) To: categories@mta.ca (categories) Original-X-From: rrosebru@mta.ca Fri Oct 24 11:03:59 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Fri, 24 Oct 2003 11:03:59 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AD2TM-0004xQ-00 for categories-list@mta.ca; Fri, 24 Oct 2003 10:59:24 -0300 X-Mailer: ELM [version 2.5 PL6] Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 33 Original-Lines: 55 Xref: news.gmane.org gmane.science.mathematics.categories:2482 Archived-At: Dear Categorists - In my quest to understand how various flavors of monoidal category can be seen as having various flavors of "internal language" and "internal logic", I've been enjoying the section in Johnstone's "Sketches of an Elephant" where he discusses different fragments of first-order logic and how they can be interpreted in categories with different properties. Of course, this being a book on topos theory, none of this deals with monoidal categories where the tensor product is not cartesian - my main interest, for applications to quantum logic. But, it's still lots of fun. I'd like to get a better feel for some of these things. For example, he talks about "cartesian categories" "regular categories", "geometric categories", "coherent categories" and describes which fragment of first-order logic can be interpreted in each of these things: "cartesian logic", "regular logic", "geometric logic" "coherent logic". Here's some stuff I think I know. I know the definitions of the above concepts, as long as I have the book open to the right page... but I left it at home, so these could be wrong! Cartesian categories have finite limits. Regular categories are cartesian categories with regular epi/mono factorizations, which must be stable under pullbacks. Geometric categories are regular categories admitting arbitrary unions of subobjects, which must be stable under pullbacks. Coherent categories are geometric categories where pullback of subobjects has a right adjoint (which plays the role of "for all"). I have a fairly good feel for categories with finite limits and "finite limits theories"; the others seem more mysterious to me, since I don't know enough examples illustrating the distinctions. Categories monadic over Set are regular, so AbGp is regular - but it's not coherent, since in a coherent category every morphism to the initial object is an isomorphism. What are some other examples of all these things?