From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3774 Path: news.gmane.org!not-for-mail From: Thomas Streicher Newsgroups: gmane.science.mathematics.categories Subject: Re: hyperdoctrines and cylindric algebras Date: Thu, 31 May 2007 17:23:36 +0200 (CEST) Message-ID: 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 1241019513 10228 80.91.229.2 (29 Apr 2009 15:38:33 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:38:33 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Sun Jun 3 21:50:19 2007 -0300 X-Keywords: Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Sun, 03 Jun 2007 21:50:19 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Hv0ab-0000ij-Mb for categories-list@mta.ca; Sun, 03 Jun 2007 21:38:29 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 18 Xref: news.gmane.org gmane.science.mathematics.categories:3774 Archived-At: Couldn't one say that cylindric (and polyadic) algebras are awkward (from a categorical point of view) formulations of posetal hyperdoctrines over FinSet^op whose fibres are boolean algebras. So the pet objects of the algebraic logicians are certain *presentations* of particular hyperdoctrines. All this was worked out in a couple of papers by A. Daigneault beginning of 70ies. There is a lot of work by the algebraic logicians which I am not too familiar with. There arises the question whether their work is of any use for questions naturally arising to the categorical logician. That's how I understood Alex' question and what I'd like to know myself. Halmos was one of the first working on algebraic logic in the 50ies (polyadic algebras) and was later positive w.r.t. categorical logic. That's what I have heard of. Did he consider categorical logic as the "right formulation" of his original aims? Maybe senior categorists do know about this? Thomas