From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5592 Path: news.gmane.org!not-for-mail From: Aleks Kissinger Newsgroups: gmane.science.mathematics.categories Subject: Re: abstraction of notation from sets. Date: Wed, 24 Feb 2010 16:46:38 +0000 Message-ID: References: Reply-To: Aleks Kissinger NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: dough.gmane.org 1267105595 6915 80.91.229.12 (25 Feb 2010 13:46:35 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 25 Feb 2010 13:46:35 +0000 (UTC) To: peasthope@shaw.ca Original-X-From: categories@mta.ca Thu Feb 25 14:46:31 2010 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Nke2x-0004RL-7M for gsmc-categories@m.gmane.org; Thu, 25 Feb 2010 14:46:31 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1NkdXt-0004qs-6W for categories-list@mta.ca; Thu, 25 Feb 2010 09:14:25 -0400 In-Reply-To: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5592 Archived-At: \epsilon is often used informally to mean an object or an arrow is contained in a category C. I.e. a \in C is shorthand for a \in ob(C) or a \in ar(C), when its interpretation is obvious from context. Barr and Wells (Toposes, Triples and Theories, 1984) uses set inclusion notation in an interesting way, thinking of arrows rather as "generalised elements" of objections. So, they'll write something like f \in^A B instead of f : A -> B, which should be read "f is an A-element of B". When the category is sets and A = {*}, this is the usual notion of element. This notion gives the right kind of intuition when working and categories that are a lot like sets, especially toposes. The language also admits a particularly beautiful way to express the Yoneda lemma. "The (normal) elements of FA are the same as the hom(-,A)-elements of F." a On Wed, Feb 24, 2010 at 12:43 AM, wrote: > When S is a set, the notation "a \epsilon S" is familiar. > Is this ever extended to CT? All the texts I recall use > natural language such as "A is an object of C". What if > a more symbolic notation is required? > > Thanks, ... Peter E. > > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]