From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2340
Path: news.gmane.org!not-for-mail
From: Galchin Vasili <vngalchin@microsoft.com>
Newsgroups: gmane.science.mathematics.categories
Subject: Topoi, Heyting algebra and Lawvere's CAT book
Date: Thu, 05 Jun 2003 18:03:45 +0100
Message-ID: <Pine.SOL.4.44.0306061246180.21823-100000@mailserv.mta.ca>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; CHARSET=US-ASCII
X-Trace: ger.gmane.org 1241018590 3668 80.91.229.2 (29 Apr 2009 15:23:10 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:23:10 +0000 (UTC)
To: categories <categories@mta.ca>
Original-X-From: rrosebru@mta.ca Fri Jun  6 17:22:43 2003 -0300
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Fri, 06 Jun 2003 17:22:43 -0300
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10)
	id 19ONhJ-0004bR-00
	for categories-list@mta.ca; Fri, 06 Jun 2003 17:20:25 -0300
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 31
Original-Lines: 30
Xref: news.gmane.org gmane.science.mathematics.categories:2340
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/2340>

Hello,

   This is a followup question to my other question
about topoi and intuistionistic logic. On page 350,
Lawvere is talking about logical operations (in
a Heyting algebra I think??). In particular I
having trouble understanding the narrative on the
implication operation "=>" in the sense
1) I don't understand what <alpha, beta>. (e.g.
      is alpha meant to be an
      element: alpha:1->omega?)

2) also what alpha "subset" beta is!


 Please help me.

Thanks and regards, Bill Halchin