From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6421 Path: news.gmane.org!not-for-mail From: Finn Lawler Newsgroups: gmane.science.mathematics.categories Subject: Re: Cartesian bicategories and realizability Date: Wed, 15 Dec 2010 17:28:18 +0000 Message-ID: References: <4D274459-0EC4-4C4F-92FE-9D3C9374A80F@site.uottawa.ca> Reply-To: Finn Lawler NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1292459728 11498 80.91.229.12 (16 Dec 2010 00:35:28 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 16 Dec 2010 00:35:28 +0000 (UTC) Cc: categories@mta.ca To: Philip Scott Original-X-From: majordomo@mlist.mta.ca Thu Dec 16 01:35:24 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.114]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1PT1oZ-0004PS-Gq for gsmc-categories@m.gmane.org; Thu, 16 Dec 2010 01:35:23 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:39187) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1PT1oA-00062l-9Y; Wed, 15 Dec 2010 20:34:58 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1PT1o3-0003us-Sj for categories-list@mlist.mta.ca; Wed, 15 Dec 2010 20:34:52 -0400 Content-Disposition: inline Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6421 Archived-At: Thanks for the helpful replies, everyone. FL Philip Scott wrote: > Dear Finn: as mentioned by Rosolini, you should definitely check > out the book of Jaap von Oosten. More interesting from your point of =20 > view > is to go to Jaap's webpage and look at the rather detailed criticism/=20 > response > of Jaap and Johnstone to a review by Peter Johnstone of Jaap's book. =20 > That probably > has some things you're looking for. And, oc, Johnstone's still =20 > working on Elephant Vol.3 > (who knows when it will appear) which may have some of this stuff. > > There are unpublished notes by P. Freyd (I was at U.Penn on sabbatical = in=20 > 1987 when he gave > a course on this) on realizability topoi based on the allegories/=20 > exact-completion method. > > Phil Scott > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]