From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8380 Path: news.gmane.org!not-for-mail From: "Garraway, Dale" Newsgroups: gmane.science.mathematics.categories Subject: Request for a reference Date: Wed, 12 Nov 2014 18:46:33 +0000 Message-ID: Reply-To: "Garraway, Dale" NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1415883981 13330 80.91.229.3 (13 Nov 2014 13:06:21 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 13 Nov 2014 13:06:21 +0000 (UTC) To: "categories@mta.ca" Original-X-From: majordomo@mlist.mta.ca Thu Nov 13 14:06:14 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.127]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Xou6I-0006rM-2Z for gsmc-categories@m.gmane.org; Thu, 13 Nov 2014 14:06:14 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:59284) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1Xou5Q-0001oP-Rg; Thu, 13 Nov 2014 09:05:20 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1Xou5Q-0002lB-Dt for categories-list@mlist.mta.ca; Thu, 13 Nov 2014 09:05:20 -0400 Accept-Language: en-US Content-Language: en-US Content-ID: <189BBEB0E805EC4385D77C96714AC8AF@namprd05.prod.outlook.com> Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8380 Archived-At: Hi All Could some one please send me a reference of the fact that the category of presheaves on a Heyting algebra $H$ is equivalent to the category of sheaves on the Heyting algebra of down closed subsets of $H$. I believe this is true in general for any partial order so a reference to either would be greatly appreciated. Dale Garraway Dept. of Math,=20 Eastern Washington dgarraway@ewu.edu [For admin and other information see: http://www.mta.ca/~cat-dist/ ]