From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6420 Path: news.gmane.org!not-for-mail From: Giuseppe Rosolini Newsgroups: gmane.science.mathematics.categories Subject: Re: Cartesian bicategories and realizability Date: Tue, 14 Dec 2010 11:29:51 +0100 Message-ID: References: Reply-To: Giuseppe Rosolini NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v1082) Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1292366104 11367 80.91.229.12 (14 Dec 2010 22:35:04 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 14 Dec 2010 22:35:04 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Tue Dec 14 23:34:59 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 1PSdSV-0001cA-Db for gsmc-categories@m.gmane.org; Tue, 14 Dec 2010 23:34:59 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:45558) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1PSdSK-0001ue-TX; Tue, 14 Dec 2010 18:34:48 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1PSdS7-0004Oo-9F for categories-list@mlist.mta.ca; Tue, 14 Dec 2010 18:34:35 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6420 Archived-At: > Do you know if anyone has > studied realizability triposes by looking at their associated > allegories/bicategories of relations, and/or compared (in that context = or > another) the category-of-pers construction of realizability toposes = with > the exact-completion method? You should look at A. Carboni, Some free constructions in realizability and proof theory. J. Pure Appl. Algebra 103 (1995), no. 2, 117=96148 J. van Oosten, Realizability: an introduction to its categorical side.=20= Studies in Logic and the Foundations of Mathematics, 152. Elsevier B. V., Amsterdam, 2008 --Pino Rosolini= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]